Student or educator? Sign up with your school email and get 6 months of Pro free.
CoChat
Sign Up
Cited by 120Distributed systems and fault toleranceAdvanced Database Systems and QueriesLogic, programming, and type systems

The DOI matches its Crossref record.

Serializable isolation for snapshot databases

Open access
Cahill, Michael J., Röhm, Uwe, Fekete, Alan D.·2008·Proceedings of the 2008 ACM SIGMOD international conference on Management of data
DOI 10.1145/1376616.1376690
Open this paper in CoChat — free accountOpen PDF

Abstract

Many popular database management systems offer snapshot isolation rather than full serializability. There are well-known anomalies permitted by snapshot isolation that can lead to violations of data consistency by interleaving transactions that individually maintain consistency. Until now, the only way to prevent these anomalies was to modify the applications by introducing artificial locking or update conflicts, following careful analysis of conflicts between all pairs of transactions.

Overview

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1145/1376616.1376690

Cites

Statistics

Verification

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Citations

Cites

Still being checked.

Research works printed but not linked: 18

  1. 10.1109/ICDE.2008.4497466 · DOI
  2. 10.1145/223784.223785 · DOI · Paper page
  3. 10.5555/846219.847381 · DOI
  4. 10.1145/319996.319998 · DOI
  5. 10.1145/360363.360369 · DOI
  6. A. Fekete . Serializability and snapshot isolation . In Proceedings of Australian Database Conference , pages 201 -- 210 . Australian Computer Society , January 1999 . A. Fekete. Serializability and snapshot isolation. In Proceedings of Australian Database Conference, pages 201--210. Australian Computer Society, January 1999.
  7. 10.1145/1065167.1065193 · DOI
  8. 10.1145/1071610.1071615 · DOI
  9. 10.1145/1031570.1031573 · DOI
  10. J. Gray and A. Reuter . Transaction Processing: Concepts and Techniques . Morgan Kaufmann , 1993 . J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
  11. 10.1145/308386.308426 · DOI
  12. K. Jacobs , R. Bamford , G. Doherty , K. Haas , M. Holt , F. Putzolu , and B. Quigley . Concurrency control, transaction isolation and serializability in SQL92 and Oracle7. Oracle White Paper , Part No A33745 , 1995 . K. Jacobs, R. Bamford, G. Doherty, K. Haas, M. Holt, F. Putzolu, and B. Quigley. Concurrency control, transaction isolation and serializability in SQL92 and Oracle7. Oracle White Paper, Part No A33745, 1995.
  13. K. Jacobs , R. Bamford , G. Doherty , K. Haas , M. Holt , F. Putzolu , and B. Quigley . Concurrency control, transaction isolation and serializability in SQL92 and Oracle7. Oracle White Paper , Part No A33745 , 1995 . K. Jacobs, R. Bamford, G. Doherty, K. Haas, M. Holt, F. Putzolu, and B. Quigley. Concurrency control, transaction isolation and serializability in SQL92 and Oracle7. Oracle White Paper, Part No A33745, 1995.
  14. H. T. Kung and J. T. Robinson . On optimistic methods for concurrency control. In A. L. Furtado and H. L. Morgan, editors, VLDB, page 351 . IEEE Computer Society , 1979 . H. T. Kung and J. T. Robinson. On optimistic methods for concurrency control. In A. L. Furtado and H. L. Morgan, editors, VLDB, page 351. IEEE Computer Society, 1979.
  15. M. A. Olson , K. Bostic , and M. I. Seltzer . Berkeley DB. In USENIX Annual Technical Conference, FREENIX Track , pages 183 -- 191 , 1999 . M. A. Olson, K. Bostic, and M. I. Seltzer. Berkeley DB. In USENIX Annual Technical Conference, FREENIX Track, pages 183--191, 1999.
  16. 10.1109/RIDE.1993.281924 · DOI
  17. V. T.-S. Shi and W. Perrizo . A new method for concurrency control in centralized database systems . In R. E. Gantenbein and S. Y. Shin, editors, Computers and Their Applications , pages 184 -- 187 . ISCA , 2002 . V. T.-S. Shi and W. Perrizo. A new method for concurrency control in centralized database systems. In R. E. Gantenbein and S. Y. Shin, editors, Computers and Their Applications, pages 184--187. ISCA, 2002.
  18. Y. Yang . The adaptive serializable snapshot isolation protocol for managing database transactions. Master's thesis , University of Wollongong , NSW Australia, 2007 . Y. Yang. The adaptive serializable snapshot isolation protocol for managing database transactions. Master's thesis, University of Wollongong, NSW Australia, 2007.

Cited by

Metadata

Authors
Cahill, M. J., Röhm, U., & Fekete, A. D.
Affiliations
The University of Sydney (AU)
ORCID
Venue
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Publisher
ACM
Published
2008-06-09
Pages
729-738
ISSN
0730-8078 (ISSN-L)
DOI
10.1145/1376616.1376690
OpenAlex
W1987358714
Cited by
120
References
0
Citations by year
2026: 1 · 2025: 7 · 2024: 5 · 2023: 4 · 2022: 5 · 2021: 11 · 2020: 5 · 2019: 7 · 2018: 2 · 2017: 11 · 2016: 5 · 2015: 8 · 2014: 9 · 2013: 13 · 2012: 9
FWCI
4.63
Type
conference paper
Language
en
Open access
Licence
www.acm.org/publications/policies/copyright_policy#Background (vor)
Locations
  • ACM SIGMOD International Conference on Management of Data (SIGMOD) (publishedVersion)
  • The Sydney eScholarship Repository (The University of Sydney) (submittedVersion)
  • UPT. Syiah Kuala University Library (Syiah Kuala University) (submittedVersion)
Topics
  • Physical Sciences › Computer Science › Computer Networks and Communications › Distributed systems and fault tolerance
  • Physical Sciences › Computer Science › Information Systems › Advanced Database Systems and Queries
  • Physical Sciences › Computer Science › Software › Logic, programming, and type systems
Keywords
snapshot isolation, serializability, transaction isolation, data consistency, concurrency control

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review