Declarative Serializable Snapshot Isolation (bibtex)
by Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian Kanne
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.
Reference:
Declarative Serializable Snapshot Isolation (Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian Kanne), In Proceedings of the 15th International Conference on Advances in Database and Information Systems (ADBIS), 2011.
Bibtex Entry:
@inproceedings{TG11,
	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.},
	Author = {Christian Tilgner and Boris Glavic and Michael H. B\"ohlen and Carl-Christian Kanne},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {Proceedings of the 15th International Conference on Advances in Database and Information Systems (ADBIS)},
	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},
	Title = {{Declarative Serializable Snapshot Isolation}},
	Url = {http://cs.iit.edu/%7edbgroup/pdfpubls/TG11.pdf},
	Venueshort = {ADBIS},
	Year = {2011},
	Bdsk-Url-1 = {http://cs.iit.edu/%7edbgroup/pdfpubls/TG11.pdf}}
Powered by bibtexbrowser