Declarative Serializable Snapshot Isolation. Tilgner, C., Glavic, B., B̈ohlen, M. H., & Kanne, C.C. In Proceedings of the 15th International Conference on Advances in Database and Information Systems (ADBIS), pages 170-184, 2011. Link abstract bibtex Snapshot isolation (SI) is a popular concurrency control pro- tocol, 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,
abstract = {Snapshot isolation (SI) is a popular concurrency control pro- tocol, 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 = {2011-10-20 17:18:12 -0400},
date-modified = {2012-03-05 20:13:51 +0000},
ee = {http://dx.doi.org/10.1007/978-3-642-23737-9_13},
pages = {170-184},
pdfurl = {pdfs/TG11.pdf},
title = {{Declarative Serializable Snapshot Isolation}},
year = {2011},
bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAiIAAAAAAiIAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpLLnVIKwAAAAwZlR9UR0JLMTFfRGVjbGFyYXRpdmUgUyM0QTFEQTUucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAASh2lytV8mwAAAAAAAAAAAAEAAgAACSAAAAAAAAAAAAAAAAAAAAAGUGFwZXJzABAACAAAykt0xQAAABEACAAAytXC6wAAAAEAEAAMGZUACuO0AAq9OQAKptEAAgBUTWFjaW50b3NoIEhEOlVzZXJzOgBsb3JkX3ByZXR6ZWw6AERvY3VtZW50czoAUGFwZXJzOgBUR0JLMTFfRGVjbGFyYXRpdmUgUyM0QTFEQTUucGRmAA4AbgA2AFQARwBCAEsAMQAxAF8ARABlAGMAbABhAHIAYQB0AGkAdgBlACAAUwBlAHIAaQBhAGwAaQB6AGEAYgBsAGUAIABTAG4AYQBwAHMAaABvAHQAIABJAHMAbwBsAGEAdABpAG8AbgAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAWlVzZXJzL2xvcmRfcHJldHplbC9Eb2N1bWVudHMvUGFwZXJzL1RHQksxMV9EZWNsYXJhdGl2ZSBTZXJpYWxpemFibGUgU25hcHNob3QgSXNvbGF0aW9uLnBkZgATAAEvAAAVAAIAE///AACABdIcHR4fWCRjbGFzc2VzWiRjbGFzc25hbWWjHyAhXU5TTXV0YWJsZURhdGFWTlNEYXRhWE5TT2JqZWN0XxBALi4vUGFwZXJzL1RHQksxMV9EZWNsYXJhdGl2ZSBTZXJpYWxpemFibGUgU25hcHNob3QgSXNvbGF0aW9uLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoALGAsgCzQLWAuEC5QLzAvoDAwNGA0sDTgNbA2AAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAADcg==}
}
Downloads: 0
{"_id":{"_str":"53423cae0e946d920a000294"},"__v":1,"authorIDs":["5457377c2abc8e9f370001b4"],"author_short":["Tilgner, C.","Glavic, B.","B̈ohlen, M.<nbsp>H.","Kanne, C.C."],"bibbaseid":"tilgner-glavic-bohlen-kanne-declarativeserializablesnapshotisolation-2011","bibdata":{"abstract":"Snapshot isolation (SI) is a popular concurrency control pro- tocol, 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":["Tilgner, Christian","Glavic, Boris","B̈ohlen, Michael H.","Kanne, Carl-Christian"],"author_short":["Tilgner, C.","Glavic, B.","B̈ohlen, M.<nbsp>H.","Kanne, C.C."],"bdsk-file-1":"YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAiIAAAAAAiIAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpLLnVIKwAAAAwZlR9UR0JLMTFfRGVjbGFyYXRpdmUgUyM0QTFEQTUucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAASh2lytV8mwAAAAAAAAAAAAEAAgAACSAAAAAAAAAAAAAAAAAAAAAGUGFwZXJzABAACAAAykt0xQAAABEACAAAytXC6wAAAAEAEAAMGZUACuO0AAq9OQAKptEAAgBUTWFjaW50b3NoIEhEOlVzZXJzOgBsb3JkX3ByZXR6ZWw6AERvY3VtZW50czoAUGFwZXJzOgBUR0JLMTFfRGVjbGFyYXRpdmUgUyM0QTFEQTUucGRmAA4AbgA2AFQARwBCAEsAMQAxAF8ARABlAGMAbABhAHIAYQB0AGkAdgBlACAAUwBlAHIAaQBhAGwAaQB6AGEAYgBsAGUAIABTAG4AYQBwAHMAaABvAHQAIABJAHMAbwBsAGEAdABpAG8AbgAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAWlVzZXJzL2xvcmRfcHJldHplbC9Eb2N1bWVudHMvUGFwZXJzL1RHQksxMV9EZWNsYXJhdGl2ZSBTZXJpYWxpemFibGUgU25hcHNob3QgSXNvbGF0aW9uLnBkZgATAAEvAAAVAAIAE///AACABdIcHR4fWCRjbGFzc2VzWiRjbGFzc25hbWWjHyAhXU5TTXV0YWJsZURhdGFWTlNEYXRhWE5TT2JqZWN0XxBALi4vUGFwZXJzL1RHQksxMV9EZWNsYXJhdGl2ZSBTZXJpYWxpemFibGUgU25hcHNob3QgSXNvbGF0aW9uLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoALGAsgCzQLWAuEC5QLzAvoDAwNGA0sDTgNbA2AAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAADcg==","bibsource":"DBLP, http://dblp.uni-trier.de","bibtex":"@inproceedings{ TG11,\n abstract = {Snapshot isolation (SI) is a popular concurrency control pro- tocol, 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.},\n author = {Christian Tilgner and Boris Glavic and Michael H. B̈ohlen and Carl-Christian Kanne},\n bibsource = {DBLP, http://dblp.uni-trier.de},\n booktitle = {Proceedings of the 15th International Conference on Advances in Database and Information Systems (ADBIS)},\n crossref = {DBLP:conf/adbis/2011},\n date-added = {2011-10-20 17:18:12 -0400},\n date-modified = {2012-03-05 20:13:51 +0000},\n ee = {http://dx.doi.org/10.1007/978-3-642-23737-9_13},\n pages = {170-184},\n pdfurl = {pdfs/TG11.pdf},\n title = {{Declarative Serializable Snapshot Isolation}},\n year = {2011},\n bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAiIAAAAAAiIAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpLLnVIKwAAAAwZlR9UR0JLMTFfRGVjbGFyYXRpdmUgUyM0QTFEQTUucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAASh2lytV8mwAAAAAAAAAAAAEAAgAACSAAAAAAAAAAAAAAAAAAAAAGUGFwZXJzABAACAAAykt0xQAAABEACAAAytXC6wAAAAEAEAAMGZUACuO0AAq9OQAKptEAAgBUTWFjaW50b3NoIEhEOlVzZXJzOgBsb3JkX3ByZXR6ZWw6AERvY3VtZW50czoAUGFwZXJzOgBUR0JLMTFfRGVjbGFyYXRpdmUgUyM0QTFEQTUucGRmAA4AbgA2AFQARwBCAEsAMQAxAF8ARABlAGMAbABhAHIAYQB0AGkAdgBlACAAUwBlAHIAaQBhAGwAaQB6AGEAYgBsAGUAIABTAG4AYQBwAHMAaABvAHQAIABJAHMAbwBsAGEAdABpAG8AbgAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAWlVzZXJzL2xvcmRfcHJldHplbC9Eb2N1bWVudHMvUGFwZXJzL1RHQksxMV9EZWNsYXJhdGl2ZSBTZXJpYWxpemFibGUgU25hcHNob3QgSXNvbGF0aW9uLnBkZgATAAEvAAAVAAIAE///AACABdIcHR4fWCRjbGFzc2VzWiRjbGFzc25hbWWjHyAhXU5TTXV0YWJsZURhdGFWTlNEYXRhWE5TT2JqZWN0XxBALi4vUGFwZXJzL1RHQksxMV9EZWNsYXJhdGl2ZSBTZXJpYWxpemFibGUgU25hcHNob3QgSXNvbGF0aW9uLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoALGAsgCzQLWAuEC5QLzAvoDAwNGA0sDTgNbA2AAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAADcg==}\n}","bibtype":"inproceedings","booktitle":"Proceedings of the 15th International Conference on Advances in Database and Information Systems (ADBIS)","crossref":"DBLP:conf/adbis/2011","date-added":"2011-10-20 17:18:12 -0400","date-modified":"2012-03-05 20:13:51 +0000","ee":"http://dx.doi.org/10.1007/978-3-642-23737-9_13","id":"TG11","key":"TG11","pages":"170-184","pdfurl":"pdfs/TG11.pdf","title":"Declarative Serializable Snapshot Isolation","type":"inproceedings","year":"2011","bibbaseid":"tilgner-glavic-bohlen-kanne-declarativeserializablesnapshotisolation-2011","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-23737-9_13"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/~glavic/files/boris.bib","downloads":0,"keywords":[],"search_terms":["declarative","serializable","snapshot","isolation","tilgner","glavic","b̈ohlen","kanne"],"title":"Declarative Serializable Snapshot Isolation","year":2011,"dataSources":["FtvLQmCboKABY2gcc"]}