A theoretical study of 'Snapshot Isolation'

Authors:
Ragnar Normann;Lene T. Østby
Affiliations:
University of Oslo;University of Oslo
Venue:
Proceedings of the 13th International Conference on Database Theory
Year:
2010

Citing 7
Cited 2

A critique of ANSI SQL isolation levels

SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery

Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery
Database Systems Concepts

Database Systems Concepts
A read-only transaction anomaly under snapshot isolation

ACM SIGMOD Record
Making snapshot isolation serializable

ACM Transactions on Database Systems (TODS)
Fundamentals of Database Systems (5th Edition)

Fundamentals of Database Systems (5th Edition)
Database Systems: The Complete Book

Database Systems: The Complete Book

Transactional stream processing

Proceedings of the 15th International Conference on Extending Database Technology
ProRea: live database migration for multi-tenant RDBMS with snapshot isolation

Proceedings of the 16th International Conference on Extending Database Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Snapshot Isolation is a popular and efficient protocol for concurrency control. In this paper we discuss Snapshot Isolation in view of the classical theory for transaction processing. In addition to summarizing previous research we prove that the set SI of histories that may be generated by Snapshot Isolation is incomparable to final state, view and conflict serializability, that SI is monotone, and that schedules generated by Snapshot Isolation are strict and thus have good properties with respect to recoverability.