Correct execution of transactions at different isolation levels

IEEE Transactions on Knowledge and Data Engineering

Volumn 16, Issue 9, 2004, Pages 1070-1081

  Lu, Shiyong ^a   Bernstein, Arthur ^b   Lewis, Philip ^b  

^a Wayne State University   (United States)

^b Stony Brook University   (United States)

Author keywords

Correctness; Isolation levels; Serializability; Transactions

Indexed keywords

CORRECTNESS; ISOLATION LEVELS; SERIALIZABILITY; TRANSACTIONS;

ALGORITHMS; CONSTRAINT THEORY; OPTIMIZATION; PERFORMANCE; PROCESSING; SCHEDULING; SEMANTICS;

DATABASE SYSTEMS;

EID: 4544313805     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2004.34     Document Type: Article

References (17)

1. ANSI X3.135-1992, Am. Nat'1 Standard for Information Systems-Database Languages-sql, Nov. 1992.
2. K. Apt, "Ten Years of Hoare's Logic: A Survey - Part I," ACM Trans. Programming Language Systems, vol. 3, no. 4, pp. 431-483, 1981.
3. H. Berenson, P. Bernstein, J. Gray, J. Melton, E. O'Neil, and P. O'Neil, "A Critique of ANSI SQL Isolation Levels," Proc. 1995 ACM SIGMOD Int'l Conf. Management of Data, pp. 1-10, May 1995.
4. J. Bergstra and J. Tucker, "Expressiveness and Completeness of Hoare's Logic," J. Computer and System Sciences, vol. 25, no. 3, pp. 267-284, Dec. 1982.
5. A. Bernstein, D. Gerstl, W.H. Leung, and P. Lewis, "Design and Performance of an Assertional Concurrency Control System," Proc. 14th IEEE Int'l Conf. Data Eng., pp. 436-445, Feb. 1998.
6. A. Bernstein, D. Gerstl, and P. Lewis, "A Concurrency Control for Step-Decomposed Transactions," Information Systems, vol. 24, no. 8, pp. 673-698, 1999.
7. A. Bernstein, D. Gerstl, P. Lewis, and S. Lu, "Using Transaction Semantics to Increase Performance," Proc. Eighth Int'l Workshop High Performance Trans. Systems, Sept. 1999.
8. Concurrency in Programming and Database Systems. A. Bernstein and P. Lewis, eds., Jones and Bartlett Publishers, 1993.
9. A. Bernstein and P. Lewis, "High Performance Transaction Systems Using Transaction Semantics," Distributed and Parallel Databases, vol. 4, no. 1, Jan. 1996.
10. A. Bernstein, P. Lewis, and S. Lu, "Semantic Conditions for Correctness at Different Isolation Levels," Proc. 16th IEEE 'Int'l Conf. Data Eng., pp. 57-66, Mar. 2000.
11. S. Cook, "Soundness and Completeness of an Axiom System for Program Verification," SIAM J. Computing, vol. 7, no. 1, pp. 70-90, Feb. 1978.
12. K. Eswaran, J. Gray, R. Lorie, and I. Traiger, "The Notions of Consistency and Predicate Locks in a Database System," Comm. ACM, vol. 19, no. 11, pp. 624-633, Nov. 1976.
13. J. Gray, R. Lorie, G. Putzolu, and I. Traiger, "Granularity of Locks and Degrees of Consistency in a Shared Database," Modeling in Data Base Management Systems, Amsterdam: Elsevier North-Holland, 1976.
14. The Science Of Programming, D. Gries, ed., New York: Springer-Verlag, 1981.
15. Logic in Computer Science: Modelling and Reasoning about Systems, M. Huth and M. Ryan, eds., Cambridge Univ. Press, 2000.
16. T. Nipkow, "Hoare Logics in Isabelle/HOL," Proof and System-Reliability, H. Schwichtenberg and R. Steinbrüggen, eds., pp. 341-367, Kluwer, 2002.
17. S. Owicki and D. Gries, "An Axiomatic Proof Technique for Parallel Programs I," Acta Informatica, vol. 6, pp. 319-340, 1976.