Header

UZH-Logo

Maintenance Infos

Declarative serializable snapshot isolation


Tilgner, Christian; Glavic, Boris; Böhlen, Michael H; Kanne, Carl-Christian (2011). Declarative serializable snapshot isolation. In: 15th International Conference in Advances in Databases and Information Systems , Vienna. Austria, 19 September 2011 - 24 September 2011, 170-184.

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.

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.

Statistics

Altmetrics

Downloads

47 downloads since deposited on 13 Feb 2012
18 downloads since 12 months
Detailed statistics

Additional indexing

Item Type:Conference or Workshop Item (Paper), refereed, original work
Communities & Collections:03 Faculty of Economics > Department of Informatics
Dewey Decimal Classification:000 Computer science, knowledge & systems
Language:English
Event End Date:24 September 2011
Deposited On:13 Feb 2012 12:11
Last Modified:13 Aug 2017 07:11
Publisher:Springer
Series Name:Lecture Notes in Computer Science
Number:6909
ISSN:0302-9743 (P) 1611-3349 (E)
ISBN:978-3-642-23737-9
Publisher DOI:https://doi.org/10.1007/978-3-642-23737-9_13
Other Identification Number:merlin-id:4570

Download

Download PDF  'Declarative serializable snapshot isolation'.
Preview
Content: Accepted Version
Filetype: PDF
Size: 395kB