Declarative Serializable Snapshot Isolation

  • Christian Tilgner
  • Boris Glavic
  • Michael Böhlen
  • Carl-Christian Kanne
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6909)


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.


Data Item Read Request Serializable Execution Snapshot Isolation Scheduler State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alomari, M., Fekete, A., Röhm, U.: A Robust Technique to Ensure Serializable Executions with Snapshot Isolation DBMS. In: ICDE, pp. 341–352 (2009)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Böhm, A., Marth, E., Kanne, C.-C.: The Demaq System: Declarative Development of Distributed Applications. In: SIGMOD, pp. 1311–1314 (2008)Google Scholar
  5. 5.
    Cahill, M.J., Röhm, U., Fekete, A.D.: Serializable Isolation for Snapshot Databases. TODS 34(4), 1–42 (2009)CrossRefGoogle Scholar
  6. 6.
    Chrysanthis, P.K., Ramamritham, K.: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. In: SIGMOD, pp. 194–203 (1990)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Fekete, A.: Allocating Isolation Levels to Transactions. In: PODS, pp. 206–215 (2005)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    Fekete, A.D.: Serializability and Snapshot Isolation. In: Australasian Database Conference, pp. 201–210 (1999)Google Scholar
  11. 11.
    Jorwekar, S., Fekete, A., Ramamritham, K., Sudarshan, S.: Automating the Detection of Snapshot Isolation Anomalies. In: VLDB, pp. 1263–1274 (2007)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Tilgner, C.: Declarative Scheduling in Highly Scalable Systems. In: EDBT/ICDT Workshops, pp. 41:1–41:6 (2010)Google Scholar
  14. 14.
    Weikum, G., Vossen, G.: Transactional Information Systems. Morgan Kaufmann Publishers, San Francisco (2002)Google Scholar
  15. 15.
    White, W., Demers, A., Koch, C., Gehrke, J., Rajagopalan, R.: Scaling Games to Epic Proportions. In: SIGMOD, pp. 31–42 (2007)Google Scholar
  16. 16.
    Yang, F., Shanmugasundaram, J., Riedewald, M., Gehrke, J.: Hilda: A High-Level Language for Data-Driven Web Applications. In: ICDE (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Christian Tilgner
    • 1
  • Boris Glavic
    • 2
  • Michael Böhlen
    • 1
  • Carl-Christian Kanne
    • 3
  1. 1.University of ZurichSwitzerland
  2. 2.University of TorontoUSA
  3. 3.University of MannheimGermany

Personalised recommendations