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.
@inproceedings{TG11, author = {Tilgner, Christian and Glavic, Boris and B\"ohlen, Michael H. and Kanne, Carl-Christian}, bibsource = {DBLP, http://dblp.uni-trier.de}, booktitle = {Proceedings of the 15th International Conference on Advances in Database and Information Systems}, crossref = {DBLP:conf/adbis/2011}, date-added = {2012-12-14 18:55:49 +0000}, date-modified = {2012-12-18 17:17:23 +0000}, ee = {http://dx.doi.org/10.1007/978-3-642-23737-9_13}, keywords = {Oshiya}, pages = {170-184}, pdfurl = {http://www.cs.uic.edu/%7ebglavic/dbgroup/assets/pdfpubls/TG11.pdf}, projects = {Oshiya}, title = {{Declarative Serializable Snapshot Isolation}}, venueshort = {ADBIS}, year = {2011}, bdsk-url-1 = {http://www.cs.uic.edu/%7ebglavic/dbgroup/assets/pdfpubls/TG11.pdf} }