Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-23737-9_13 | ADBIS |
Keywords | Field | DocType |
ssi approach,pivot structure,non-serializable schedule,declarative serializable snapshot isolation,si schedule,serializable snapshot isolation,si protocol,popular concurrency control protocol,database integrity,application program | Snapshot isolation,Serializability,Serialization,Concurrency control,Computer science,Global serializability,Data integrity,Schedule,Database,Distributed computing | Conference |
Volume | ISSN | Citations |
6909 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christian Tilgner | 1 | 2 | 1.43 |
Boris Glavic | 2 | 284 | 36.70 |
Michael Böhlen | 3 | 189 | 11.73 |
Carl-christian Kanne | 4 | 644 | 53.20 |