Abstract
Modern database-management systems permit the isolation level to be set on a per-transaction basis. In such a mixed-level setting, it is important to understand how transactions running at different levels interact. More fundamentally however, these levels are sometimes of different scopes. For example, READ COMMITTED and REPEATABLE READ are of local scope, since the defining properties depend upon only the transaction and its relationship to those running concurrently. On the other hand, SERIALIZABLE is of global scope; serializability is a property of a schedule of transactions, not of a single transaction. In this work, in addition to formalizing the interaction of transactions at different levels, the meaning of serializability within local scope is also addressed.
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
Notes
- 1.
The SQL standard gives
no name to identify its local scope. Since it is sometimes called Degree 3 isolation in the literature, [9, Sect. 7.6], the moniker
is introduced here, purely for clarification. Technically, it is
which additionally prohibits so-called phantoms. - 2.
Strictly speaking, \(\mathsf {SI}\) does not provide
isolation. See [2, Remark 9] for details. - 3.
It should be noted that one experimental system, called \(\mathsf {PSSI}\), has taken exactly the approach of constructing the entire DSG (with all transactions running under \(\mathsf {SI}\)) to achieve serializable generating behavior, reporting good results [14].
no name to identify its local scope. Since it is sometimes called Degree 3 isolation in the literature, [
is introduced here, purely for clarification. Technically, it is
which additionally prohibits so-called phantoms.
isolation. See [References
Adya, A., Liskov, B., O’Neil, P.E.: Generalized isolation level definitions. In: Lomet, D.B., Weikum, G. (eds.) Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, 28 February - 3 March 2000, pp. 67–78 (2000)
Berenson, H., Bernstein, P.A., Gray, J. Melton, J., O’Neil, E.J., O’Neil, P.E.: A critique of ANSI SQL isolation levels. In: Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, 22–25 May 1995, pp. 1–10 (1995)
Breitbart, Y., Georgakopoulos, D., Rusinkiewicz, M., Silberschatz, A.: On rigorous transaction scheduling. IEEE Trans. Softw. Eng. 17(9), 954–960 (1991)
Cahill, M.J., Röhm, U., Fekete, A.D.: Serializable isolation for snapshot databases. ACM Trans. Database Syst. 34(4), 20 (2009)
Crowe, M.: The Pyrrho database management system. https://pyrrhodb.uws.ac.uk/index.htm. Accessed 2019-03-30
Crowe, M.: Transactions in the Pyrrho database engine. In: Hamza, M.H. (ed.) IASTED International Conference on Databases and Applications, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, 14–16 February 2005, pp. 71–76. IASTED/ACTA Press (2005)
Fekete, A., Liarokapis, D., O’Neil, E.J., O’Neil, P.E., Shasha, D.: Making snapshot isolation serializable. ACM Trans. Database Syst. 30(2), 492–528 (2005)
Gray, J., Lorie, R.A., Putzolu, G.R., Traiger, I.L.: Granularity of locks and degrees of consistency in a shared data base. In: Nijssen, G.M. (ed.) Modelling in Data Base Management Systems, Proceeding of the IFIP Working Conference on Modelling in Data Base Management Systems, Freudenstadt, Germany, 5–8 January 1976, North-Holland, pp. 365–394 (1976)
Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, Burlington (1993)
Melton, J. (ed.): ISO/IEC 9075:2011, Information Technology – Database Languages – SQL. ANSI, (The 2011 SQL Standard) (2011)
Papadimitriou, C.: The Theory of Database Concurrency Control. Computer Science Press (1986)
Ports, D.R.K., Grittner, K.: Serializable snapshot isolation in PostgreSQL. Proc. VLDB Endow. 5(12), 1850–1861 (2012)
PostgreSQL: The World’s Most Advanced Open Source Relational Database. https://www.postgresql.org. Accessed 30 Mar 2019
Revilak, S., O’Neil, P.E., O’Neil, E.J.: Precisely serializable snapshot isolation (PSSI). In: Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, 11–16 April 2011, Hannover, Germany, pp. 482–493 (2011)
Wang, T., Johnson, R., Fekete, A., Pandis, I.: Efficiently making (almost) any concurrency control mechanism serializable. VLDB J. 26(4), 537–562 (2017)
Weikum, G., Vossen, G.: Transactional Information Systems. Morgan Kaufmann, Burlington (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Hegner, S.J. (2019). Transaction Isolation in Mixed-Level and Mixed-Scope Settings. In: Welzer, T., Eder, J., Podgorelec, V., Kamišalić Latifić, A. (eds) Advances in Databases and Information Systems. ADBIS 2019. Lecture Notes in Computer Science(), vol 11695. Springer, Cham. https://doi.org/10.1007/978-3-030-28730-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-030-28730-6_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-28729-0
Online ISBN: 978-3-030-28730-6
eBook Packages: Computer ScienceComputer Science (R0)