Not logged in.

Contribution Details

Type Conference or Workshop Paper
Scope Discipline-based scholarship
Published in Proceedings Yes
Title Declarative serializable snapshot isolation
Organization Unit
Authors
  • Christian Tilgner
  • Boris Glavic
  • Michael Böhlen
  • Carl-Christian Kanne
Presentation Type paper
Item Subtype Original Work
Refereed Yes
Status Published in final form
Language
  • English
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)