Making snapshot isolation serializable

ACM Transactions on Database Systems

Volumn 30, Issue 2, 2005, Pages 492-528

  Fekete, Alan ^a,d   Liarokapis, Dimitrios ^b   O'Neil, Elizabeth ^b   O'Neil, Patrick ^b,e   Shasha, Dennis ^c  

^a UNIVERSITY OF SYDNEY   (Australia)

^b UNIVERSITY OF MASSACHUSETTS   (United States)

^c NEW YORK UNIVERSITY   (United States)

^d UNIVERSITY OF SYDNEY   (Australia)

^e UNIVERSITY OF MASSACHUSETTS BOSTON   (United States)

Author keywords

Anomaly; Concurrency control; Consistency; Multiversion concurrency; Serializability; Snapshot isolation; Weak isolation

Indexed keywords

CONCURRENCY CONTROL ALGORITHMS; PROGRAM LOGIC; SERIALIZATION ANOMALIES; SNAPSHOT ISOLATION (SI);

BENCHMARKING; COMPUTER APPLICATIONS; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; DATA REDUCTION; DATA WAREHOUSES; ERROR ANALYSIS; RELATIONAL DATABASE SYSTEMS;

ALGORITHMS;

EID: 23944513290     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/1071610.1071615     Document Type: Review

References (23)

1. ADYA, A., LISKOV, B., AND O'NEIL, P. 2000. Generalized isolation level definitions. In Proceedings of IEEE International Conference on Data Engineering, (Feb.) IEEE Computer Society Press, Los Alamitos, Calif., 67-78.
2. ANDERSON, T., BRETBART, Y., KORTH, H., AND WOOL, A. 1998. Replication, consistency and practicality: are these mutually exclusive? In Proceedings of the ACM SIGMOD International Conference on Management of Data (June). ACM, New York, 484-495.
3. BERENSON, H., BERNSTEIN, P., GRAY, J., MELTON, J., O'NEIL, E., AND O'NEIL, P. 1995. A critique of ANSI SQL isolation levels. In Proceedings of the ACM SIGMOD International Conference on Management of Data (June) ACM, New York, 1-10.
4. BERGE, C. 1976. Graphs and Hypergraphs (2nd edition). North-Holland Mathematical Library, Volume 6.
5. BERNSTEIN, P., HADZILACOS, V., AND GOODMAN, N. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley. (This text is now out of print but can be downloaded from http://research.microsoft.com/pubs/ccontrol/default.htm)
6. BERNSTEIN, A., LEWIS, P., AND LU, S. 2000. Semantic conditions for correctness at different isolation levels. In Proceedings of IEEE International Conference on Data Engineering (Feb.). IEEE Computer Society Press, Los Alamitos, Calif., 57-66.
7. BREITBART, Y., KOMONDOOR, R., RASTOGI, R., SESHADRI, S., AND SILBERSCHATZ, A. 1999. Update propagation protocols for replicated databases. In Proceedings of the ACM SIGMOD International Conference on Management of Data (June). ACM, New York, 97-108.
8. CHAMBERLIN, D., ASTRAHAN, M., BLASGEN, M., GRAY, J., KING, W., LINDSAY, B., LORIE, R., MEHL, J., PRICE, T., PUTZOLU, F., SELINGER, P., SCHKOLNICK, M., SLUTZ, D., TRAIGER, I., WADE, B., AND YOST, R. 1981. A history and evaluation of System R. Commun. ACM 24, 10 (Oct.). 632-646.
9. (Also in: M. Stone-braker and J. Hellerstein, Readings in Database Systems, Third Edition, Morgan Kaufmann 1998.)
10. ELNIKETY, S., PEDONE, F., AND ZWAENEPOEL, W. 2004. Generalized snapshot isolation and a prefix-consistent implementation. Tech. Rep. IC/2004/21, EPFL, Mar.
11. ESWARAN, K., GRAY, J., LORIE, R., AND TRAIGER, I. 1976. The notions of consistency and predicate locks in a database system. Commun. ACM 19, 11 (Nov.), 624-633.
12. FEKETE, A. 1999. Serializability and snapshot isolation. In Proceedings of the Australian Database Conference (Auckland, New Zealand, Jan.). 201-210.
13. FEKETE, A., O'NEIL, E., AND O'NEIL, P. 2004. A read-only transaction anomaly under snapshot isolation. ACM SIGMOD Record 33, 3 (Sept.), 12-14.
14. GRAY, J. (ED.). 1993. The Benchmark Handbook (2nd edition). Morgan-Kaufmann, San Francisco, Calif.
15. GRAY, J. AND REUTER, A. 1993. Transaction Processing: Concepts and Techniques. Morgan-Kaufmann, San Francisco, Calif.
16. GRAY, J., HELLAND, P., O'NEIL, P., AND SHASHA, D. 1996. The dangers of replication and a solution. In Proceedings of the ACM SIGMOD International Conference on Management of Data (June). ACM, New York, 173-182.
17. JACOBS, K., BAMFORD, R., DOHERTY, G., HAAS, K., HOLT, M., PUTZOLU, F., AND QUIGLEY, B. 1995. Concurrency Control: Transaction Isolation and Serializability in SQL92 and Oracle7. Oracle White Paper, Part No. A33745 (July).
18. LIAROKAPIS, D. 2001. Testing Isolation Levels of Relational Database Management Systems, Ph.D. dissertation, University of Massachusetts, Boston, Mass. (Dec.). (This thesis can be downloaded from http://www.cs.umb.edu/~dimitris/thesis/thesisDec20.pdf.)
19. PAPADIMITRIOU, C. 1986. The Theory of Database Concurrency Control. Computer Science Press.
20. SHASHA, D. AND BONNET, P. 2002. Database Tuning: Principles, Experiments, and Troubleshooting Techniques. Morgan-Kaufmann, San Francisco, Calif.
21. SHASHA, D., LLIRBAT, F., SIMON, E., AND VALDURIEZ, P. 1995. Transaction chopping: Algorithms and performance studies. ACM Trans. Datab. Syst. 20, 3 (Sept.), 325-363.
22. SCHENKEL, R. AND WEIKUM, G. 2000. Integrating snapshot isolation into transactional federations. In Proceedings of 5th IFCIS International Conference on Cooperative Information Systems (CoopIS 2000) (Sept.), 90-101.
23. TPC-C BENCHMARK SPECIFICATION, available at http://www.tpc.org/tpcc/.