Skip to main content
SpringerLink
Log in

Database transaction models

  • Chapter
  • First Online:
Computer Science Today

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1000))

Abstract

The transaction concept provides a central paradigm for correctly synchronizing concurrent activities and for achieving reliability in database systems. In transaction modeling and processing, theory and practice influence each other a lot, and over the years the transaction concept has undergone a considerable evolution from a pure implementation vehicle to a powerful abstraction concept. This survey deals with conceptual issues in designing transaction models, and with approaches to specify correctness of concurrent transaction executions (schedules). As will be described, there is a vastly uniform methodology for putting these aspects to work, which is illustrated by examples ranging from simple reads and writes to semantically rich operations. In addition, the survey covers novel transaction models, whose goal is to adequately support a variety of requirements arising in modern database applications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Vianu, V.: Equivalence and optimization of relational transactions. J. ACM 35 (1988) 70–120.

    Article  Google Scholar 

  2. Agrawal, D., El Abbadi, A.: Locks with constrained sharing. In: Proc. 9th Annual ACM Symp. on Principles of Database Systems, 1990, pp. 85–93.

    Google Scholar 

  3. Agrawal, D., El Abbadi, A., Lang, A.E.:The performance of protocols based on locks with ordered sharing. IEEE Trans. Knowledge and Data Engineering 6 (1994) 805–818.

    Article  Google Scholar 

  4. Agrawal, D., El Abbadi, A., Singh, A.K.: Consistency and orderability: semantics-based correctness criteria for databases. ACM Trans. Database Systems 18 (1993) 460–486.

    Article  Google Scholar 

  5. Alonso, G., Vingralek, R., Agrawal, D., Breitbart, Y., El Abbadi, A., Schek H.-J., Weikum, G.: Unifying concurrency control and recovery of transactions. Information Systems 19 (1994) 101–115.

    Article  Google Scholar 

  6. Beeri, C., Bernstein, P.A., Goodman, N.: A model for concurrency in nested transaction systems. J. ACM 36 (1989) 230–269.

    Article  Google Scholar 

  7. Bernstein, P.A., Goodman, N.: Multiversion concurrency control — theory and algorithms. ACM Trans. Database Systems 8 (1983) 465–483.

    Article  Google Scholar 

  8. Bernstein, P.A., Goodman, N.: Serializability theory for replicated databases. J. Computer and System Sciences 31 (1985) 355–374.

    Article  Google Scholar 

  9. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley Publishing Comp., Reading, MA, 1987.

    Google Scholar 

  10. Biliris, A., Dar, S., Gehani, N., Jagadish, H.V., Ramamritham, K.: ASSET: A system for supporting extended transactions. In: Proc. ACM SIGMOD Int. Conf. on Management of Data, 1994, pp. 44–54.

    Google Scholar 

  11. Breitbart, Y., Garcia-Molina, H., Silberschatz, A.: Overview of multidatabase transaction management. The VLDB Journal 1 (1992) 181–239.

    Article  Google Scholar 

  12. Breitbart, Y., Georgakopoulos, D., Rusinkiewicz, M., Silberschatz, A.: On rigorous transaction scheduling. IEEE Trans. Software Engineering 17 (1991) 954–960.

    Article  Google Scholar 

  13. Cellary, W., Gelenbe, E., Morzy, T.: Concurrency Control in Distributed Database Systems. North-Holland, Amsterdam, 1988.

    Google Scholar 

  14. Chrysanthis, P.K., Ramamritham, K.: Synthesis of extended transaction models using ACTA. ACM Trans. Database Systems 19 (1994) 450–491.

    Article  Google Scholar 

  15. Elmagarmid, A.K.: Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Francisco, CA, 1992.

    Google Scholar 

  16. Eswaran, K.P., Gray, J.N., Lorie, R.A., Traiger, I.L.: The notions of consistency and predicate locks in a database system. Comm. ACM 19 (1976) 624–633.

    Article  Google Scholar 

  17. Georgakopoulos, D., Hornick, M., Krychniak, P., Manola, F.: Specification and management of extended transactions in a programmable transaction environment. In: Proc. 10th IEEE Int. Conf. on Data Engineering, 1994, pp. 462–473.

    Google Scholar 

  18. Gray, J.: Notes on data base operating systems. In R. Bayer, R.M. Graham, and G. Seegmüller (Eds.): Operating Systems — An Advanced Course. Lecture Notes in Computer Science, Vol. 60, Springer-Verlag, Berlin, 1978, pp. 393–481.

    Google Scholar 

  19. Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco, CA, 1993.

    Google Scholar 

  20. Hadzilacos, T., Hadzilacos, V.: Transaction synchronization in object bases. J. Computer and System Sciences 43 (1991) 2–24.

    Article  Google Scholar 

  21. Hadzilacos, T., Papadimitriou, C.H.: Algorithmic aspects of multiversion concurrency control. J. Computer and System Sciences 33 (1986) 297–310.

    Article  Google Scholar 

  22. Hadzilacos, V.: A theory of reliability in database systems. J. ACM 35 (1988) 121–145.

    Article  Google Scholar 

  23. Korth, H.F., Speegle, G.: Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model. ACM Trans. Database Systems 19 (1994) 492–535.

    Article  Google Scholar 

  24. Lausen, G.: Formal aspects of optimistic concurrency control in a multiple version database system. Information Systems 8 (1983) 291–301.

    Article  Google Scholar 

  25. Lynch, N., Merritt, M.: Introduction to the theory of nested transactions. Theoretical Computer Science 62 (1988) 123–185.

    Article  Google Scholar 

  26. Lynch, N., Merritt, M., Weihl, W., Fekete, A.: Atomic Transactions. Morgan Kaufmann, San Francisco, CA, 1994.

    Google Scholar 

  27. Morzy, T.: The correctness of concurrency control for multiversion database systems with limited number of versions. In: Proc. 9th IEEE Int. Conf. on Data Engineering, 1993, pp. 595–604.

    Google Scholar 

  28. Moss, J.E.B.: Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge, MA, 1985.

    Google Scholar 

  29. Papadimitriou, C.H.: The serializability of concurrent database updates. J. ACM 26 (1979) 631–653.

    Article  Google Scholar 

  30. Papadimitriou, C.H.: The Theory of Database Concurrency Control. Computer Science Press, Rockville, MD, 1986.

    Google Scholar 

  31. Papadimitriou, C.H., Kanellakis, P.C.: On concurrency control by multiple versions. ACM Trans. Database Systems 9 (1984) 89–99.

    Article  Google Scholar 

  32. Rastogi, R., Mehrotra, S., Breitbart, Y., Korth, H.F., Silberschatz, A.: On correctness of non-serializable executions. In: Proc. 12th ACM SIGACT-SIGMOD-SIGART Symp. Principles of Database Systems, 1993, pp. 97–108.

    Google Scholar 

  33. Raz, Y.: The principle of commitment ordering, or guaranteeing serializability in a heterogeneous environment of multiple autonomous resource managers using atomic commitment. In: Proc. 18th Int. Conf. on Very Large Data Bases, 1992, pp. 292–312.

    Google Scholar 

  34. Raz, Y.: Serializability by commitment ordering. Inf. Proc. Letters 51 (1994) 257–264.

    Article  Google Scholar 

  35. Rusinkiewicz, M., Sheth, A.: Specification and execution of transactional work-flows. In W. Kim (ed.): Modern Database Systems. Addison-Wesley Publishing Comp., Reading, MA, 1995, pp. 592–620.

    Google Scholar 

  36. Salem, K., Garcia-Molina, H., Shands, J.: Altruistic locking. ACM Trans. Database Systems 19 (1994) 117–165.

    Article  Google Scholar 

  37. Schek, H.J., Weikum, G., Ye, H.: (1993). Towards a unified theory of concurrency control and recovery. In: Proc. 12th ACM SIGACT-SIGMOD-SIGART Symp. Principles of Database Systems, 1993, pp. 300–311.

    Google Scholar 

  38. Schwarz, P.M., Spector, A.Z.: Synchronizing shared abstract types. ACM Trans. Computer Systems 2 (1984) 223–250.

    Article  Google Scholar 

  39. Soisalon-Soininen, E., Ylönen, T.: Partial strictness in two-phase locking. In: G. Gottlob, M.Y. Vardi (Eds.), Database Theory — ICDT '95, Proc. 5th Int. Conference, Lecture Notes in Computer Science, Vol. 893, Springer-Verlag, Berlin, 1995, pp. 139–147.

    Google Scholar 

  40. Vianu, V., Vossen, G.: Conceptual level concurrency control for relational update transactions. Theoretical Computer Science 95 (1992) 1–42.

    Article  MathSciNet  Google Scholar 

  41. Vianu, V., Vossen, G.: Static and dynamic aspects of goal-oriented concurrency control. Annals of Mathematics and Artificial Intelligence 7 (1993) 257–287.

    Article  Google Scholar 

  42. Vingralek, R., Ye, H., Breitbart, Y., Schek, H.-J.: Unified transaction model for semantically rich operations. In: G. Gottlob, M.Y. Vardi (Eds.), Database Theory — ICDT '95, Proc. 5th Int. Conference, Lecture Notes in Computer Science, Vol. 893, Springer-Verlag, Berlin, 1995, pp. 148–161.

    Google Scholar 

  43. Vossen, G.: Databases and database management. In: E.G. Coffman, J.K. Lenstra, A.H.G. Rinnooy Kan (Eds.): Handbooks in Operations Research and Management Science, Vol. 3: Computing. North-Holland, Amsterdam, 1992, pp. 133–193.

    Google Scholar 

  44. Vossen, G., Groß-Hardt, M.: Grundlagen der Transaktionsverarbeitung. Addison-Wesley, Bonn, 1993.

    Google Scholar 

  45. Weihl, W.: Local atomicity properties: modular concurrency control for abstract data types. ACM Trans. Programming Languages and Systems 11 (1989) 249–282.

    Article  Google Scholar 

  46. Weihl, W.: The impact of recovery on concurrency control. J. Computer and System Sciences 47 (1993) 157–184.

    Article  Google Scholar 

  47. Weikum, G.: Principles and realization strategies of multilevel transaction management. ACM Trans. Database Systems 16 (1991) 132–180.

    Article  Google Scholar 

  48. Yannakakis, M.: Serializability by locking. J. ACM 31 (1984) 227–244.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Wirtschaftsinformatik, Universität Münster, Grevenerstraße 91, D-48159, Münster, Germany

    Gottfried Vossen

Authors
  1. Gottfried Vossen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jan van Leeuwen

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Vossen, G. (1995). Database transaction models. In: van Leeuwen, J. (eds) Computer Science Today. Lecture Notes in Computer Science, vol 1000. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015267

Download citation

  • DOI: https://doi.org/10.1007/BFb0015267

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60105-0

  • Online ISBN: 978-3-540-49435-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation