The DOI matches its Crossref record.
Serializable isolation for snapshot databases
Open accessAbstract
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.
Integrity signals
Registry
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.
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?
In the citing paper
“Classical concurrency and provenance hold every ingredient but the LLM-agent write path.”
From TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory (2026) · cites this paper as [14]
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
- 10.1109/ICDE.2008.4497466 · DOI
- 10.1145/223784.223785 · DOI · Paper page
- 10.5555/846219.847381 · DOI
- 10.1145/319996.319998 · DOI
- 10.1145/360363.360369 · DOI
- 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.
- 10.1145/1065167.1065193 · DOI
- 10.1145/1071610.1071615 · DOI
- 10.1145/1031570.1031573 · DOI
- 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.
- 10.1145/308386.308426 · DOI
- 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.
- 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.
- 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.
- 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.
- 10.1109/RIDE.1993.281924 · DOI
- 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.
- 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
TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory
Wang, Z. (2026) · arXiv · doi:10.48550/arxiv.2606.06240 · Cited by 15
Metadata
- Authors
- Cahill, M. J., Röhm, U., & Fekete, A. D.
- Affiliations
- The University of Sydney (AU)
- 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)
- 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
- green
- hdl.handle.net
- 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
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Serializable isolation for snapshot databases. https://app.cochat.ai/papers/10.1145/1376616.1376690
- The paper
- Cahill, M. J., Röhm, U., & Fekete, A. D. (2008). Serializable isolation for snapshot databases. Proceedings of the 2008 ACM SIGMOD international conference on Management of data. https://doi.org/10.1145/1376616.1376690