ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
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
Allocating isolation levels to transactions
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Making snapshot isolation serializable
ACM Transactions on Database Systems (TODS)
Hilda: A High-Level Language for Data-DrivenWeb Applications
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Scaling games to epic proportions
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
The design and implementation of a declarative sensor network system
Proceedings of the 5th international conference on Embedded networked sensor systems
Automating the detection of snapshot isolation anomalies
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
The Demaq system: declarative development of distributed applications
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
A Robust Technique to Ensure Serializable Executions with Snapshot Isolation DBMS
ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
Serializable isolation for snapshot databases
ACM Transactions on Database Systems (TODS)
Declarative scheduling in highly scalable systems
Proceedings of the 2010 EDBT/ICDT Workshops
Boom analytics: exploring data-centric, declarative programming for the cloud
Proceedings of the 5th European conference on Computer systems
| Hi-index | 0.00 |
Snapshot isolation (SI) is a popular concurrency control protocol, but it permits non-serializable schedules that violate database integrity. The Serializable Snapshot Isolation (SSI) protocol ensures (view) serializability by preventing pivot structures in SI schedules. In this paper, we leverage the SSI approach and develop the Declarative Serializable Snapshot Isolation (DSSI) protocol, an SI protocol that guarantees serializable schedules. Our approach requires no analysis of application programs or changes to the underlying DBMS. We present an implementation and prove that it ensures serializability.