Not logged in.
Quick Search - Contribution
Contribution Details
Type | Conference or Workshop Paper |
Scope | Discipline-based scholarship |
Published in Proceedings | Yes |
Title | Declarative serializable snapshot isolation |
Organization Unit | |
Authors |
|
Presentation Type | paper |
Item Subtype | Original Work |
Refereed | Yes |
Status | Published in final form |
Language |
|
ISBN | 978-3-642-23737-9 |
ISSN | 0302-9743 (P) 1611-3349 (E) |
Page Range | 170 - 184 |
Event Title | 15th International Conference in Advances in Databases and Information Systems |
Event Type | conference |
Event Location | Vienna. Austria |
Event Start Date | September 19 - 2011 |
Event End Date | September 24 - 2011 |
Series Name | Lecture Notes in Computer Science |
Number | 6909 |
Publisher | Springer |
Abstract Text | 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. |
Digital Object Identifier | 10.1007/978-3-642-23737-9_13 |
Other Identification Number | merlin-id:4570 |
PDF File | Download from ZORA |
Export |
BibTeX
EP3 XML (ZORA) |