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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alomari, M., Fekete, A., Röhm, U.: A Robust Technique to Ensure Serializable Executions with Snapshot Isolation DBMS. In: ICDE, pp. 341–352 (2009)
Alvaro, P., Condie, T., Conway, N., Elmeleegy, K., Hellerstein, J.M., Sears, R.: Boom Analytics: Exploring Data-Centric, Declarative Programming for the Cloud. In: EuroSys, pp. 223–236 (2010)
Berenson, H., Bernstein, P., Gray, J., Melton, J., O’Neil, E., O’Neil, P.: A Critique of ANSI SQL Isolation Levels. In: SIGMOD, pp. 1–10 (1995)
Böhm, A., Marth, E., Kanne, C.-C.: The Demaq System: Declarative Development of Distributed Applications. In: SIGMOD, pp. 1311–1314 (2008)
Cahill, M.J., Röhm, U., Fekete, A.D.: Serializable Isolation for Snapshot Databases. TODS 34(4), 1–42 (2009)
Chrysanthis, P.K., Ramamritham, K.: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. In: SIGMOD, pp. 194–203 (1990)
Chu, D., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The Design and Implementation of a Declarative Sensor Network System. In: SenSys, pp. 175–188 (2007)
Fekete, A.: Allocating Isolation Levels to Transactions. In: PODS, pp. 206–215 (2005)
Fekete, A., Liarokapis, D., O’Neil, E., O’Neil, P., Shasha, D.: Making Snapshot Isolation Serializable. ACM Trans. Database Syst. 30(2), 492–528 (2005)
Fekete, A.D.: Serializability and Snapshot Isolation. In: Australasian Database Conference, pp. 201–210 (1999)
Jorwekar, S., Fekete, A., Ramamritham, K., Sudarshan, S.: Automating the Detection of Snapshot Isolation Anomalies. In: VLDB, pp. 1263–1274 (2007)
Kot, L., Gupta, N., Roy, S., Gehrke, J., Koch, C.: Beyond Isolation: Research Opportunities in Declarative Data-Driven Coordination. SIGMOD Rec. 39, 27–32 (2010)
Tilgner, C.: Declarative Scheduling in Highly Scalable Systems. In: EDBT/ICDT Workshops, pp. 41:1–41:6 (2010)
Weikum, G., Vossen, G.: Transactional Information Systems. Morgan Kaufmann Publishers, San Francisco (2002)
White, W., Demers, A., Koch, C., Gehrke, J., Rajagopalan, R.: Scaling Games to Epic Proportions. In: SIGMOD, pp. 31–42 (2007)
Yang, F., Shanmugasundaram, J., Riedewald, M., Gehrke, J.: Hilda: A High-Level Language for Data-Driven Web Applications. In: ICDE (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tilgner, C., Glavic, B., Böhlen, M., Kanne, CC. (2011). Declarative Serializable Snapshot Isolation. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds) Advances in Databases and Information Systems. ADBIS 2011. Lecture Notes in Computer Science, vol 6909. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23737-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-23737-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23736-2
Online ISBN: 978-3-642-23737-9
eBook Packages: Computer ScienceComputer Science (R0)