Skip to main content
SpringerLink
Log in

Multi-level transaction management, theoretical art or practical need?

  • Distributed Databases And Transaction Management
  • Conference paper
  • First Online:
Advances in Database Technology—EDBT '88 (EDBT 1988)

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

Included in the following conference series:

Abstract

A useful approach to the design and description of complex data management systems is the decomposition of a system into a hierarchically organized collection of levels. In such a system, transaction management is distributed among the levels. This paper presents the fundamental theory of multi-level concurrency control and recovery. A model for the computation of multi-level transactions is introduced by generalizing from the well known single-level theory. Three basic principles, called commutation, reduction, and abstraction are explained. Using them enables one to explain and prove seemingly ”tricky” implementation techniques as correct, by regarding them as multi-level algorithms. We show how the theory helps to understand and explain in a systematic framework techniques that are in use in today's DBMSs. We also discuss how and why multi-level algorithms may achieve better performance than single-level ones.

This research was supported by a grant from the State of Hessen, provided under an agreement for cooperation with the Hebrew University.

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. Astrahan, M.M., et al., System R: Relational Approach to Database Management, ACM TODS Vol.1 No.2, 1976

    Google Scholar 

  2. Beeri, C., Bernstein, P.A., Goodman, N., A Model for Nested Transactions Systems, Technical Report, Hebrew University, 1987

    Google Scholar 

  3. Beeri, C., Bernstein, P.A., Goodman, N., Lai, M.-Y., Shasha, D.E., A Concurrency Control Theory for Nested Transactions, Proc. 2nd ACM Symp. on Principles of Distributed Computing, 1983

    Google Scholar 

  4. Bernstein, P.A., Hadzilacos, V., Goodman, N., Concurrency Control and Recovery in Database Systems, Addison-Wesley Publ., 1987

    Google Scholar 

  5. Böttcher,S., Jarke, M., Schmidt, J.W., Adaptive Predicate Managers in Database Systems, Proc. 12th VLDB Conference, 1986

    Google Scholar 

  6. Bancilhon, F., Kim, W., Korth, H.F., A Model of CAD Transactions, Proc. 11th VLDB Conference, 1985

    Google Scholar 

  7. Carey, M.J., DeWitt, D.J., Frank, D., Graefe, G., Muralikrishna, M., Richardson, J.E., Shekita, E.J., The Architecture of the EXODUS Extensible DBMS, Proc. Int. Workshop on Object-Oriented Database Systems, 1986

    Google Scholar 

  8. Chamberlin, D.D., et al., A History and Evaluation of System R, Communications of the ACM Vol.24 No.10, 1981

    Google Scholar 

  9. DeLeon, M., Sequential Correctness, Atomicity and Persistency in Database Systems — A Model and a Proof Paradigm, M.Sc. Thesis (in Hebrew), The Hebrew University at Jerusalem, 1987

    Google Scholar 

  10. Dadam, P., Pistor, P., Schek, H.-J., A Predicate Oriented Locking Approach for Integrated Information Systems, Information Processing'83, North-Holland, 1983

    Google Scholar 

  11. Deppisch, U., Paul, H.-B., Schek, H.-J., Weikum, G., Managing Complex Objects in the Darmstadt Database Kernel System, in: A. Buchmann, U. Dayal, K. Dittrich (eds.), Object-Oriented Database Systems, Springer, to appear

    Google Scholar 

  12. Elhardt, K., Bayer, R., A Database Cache for High Performance and Fast Restart in Database Systems, ACM TODS Vol.9 No.4, 1984

    Google Scholar 

  13. Gray, J.N., Notes on Data Base Operating Systems, in: Operating Systems — An Advanced Course, LNCS 60, Springer, 1978

    Google Scholar 

  14. Gray, J., McJones, P., Blasgen, M., Lindsay, B., Lorie, R., Price, T., Putzolu, F., Traiger, I., The Recovery Manager of the System R Database Manager, ACM Computing Surveys Vol.13 No.2, 1981

    Google Scholar 

  15. Gray, J., The Transaction Concept: Virtues and Limitations, Proc. 7th VLDB Conference, 1981

    Google Scholar 

  16. Haerder, T., Reuter, A., Principles of Transaction-Oriented Database Recovery, ACM Computing Surveys Vol.15 No.4, 1983

    Google Scholar 

  17. Haerder, T., Rothermel, K., Concepts for Transaction Recovery in Nested Transactions, Proc. ACM SIGMOD Conference, 1987

    Google Scholar 

  18. Lamport, L., On Interprocess Communication — Part I: Basic Formalism, Distributed Computing Vol. 1, 1986

    Google Scholar 

  19. Liskov, B., Overview of the Argus Language and System, in: Distributed Systems, LNCS 190, Springer, 1985

    Google Scholar 

  20. Lynch, N., Merritt, M., Introduction to the Theory of Nested Transactions, Proc. Int. Conf. on Database Theory, Springer, 1986

    Google Scholar 

  21. Moss, J.E.B., Griffeth, N.D., Graham, M.H., Abstraction in Recovery Management, Proc. ACM SIGMOD Conference, 1986

    Google Scholar 

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

    Google Scholar 

  23. Ong, K.S., Synapse Approach to Database Recovery, Proc. 3rd ACM Symp. on PODS, 1984

    Google Scholar 

  24. Paul, H.-B., Schek, H.-J., Scholl, M., Weikum, G., Deppisch, U., Architecture and Implementation of the Darmstadt Database Kernel System, Proc. ACM SIGMOD Conference, 1987

    Google Scholar 

  25. Schek, H.-J., DASDBS: A Kernel DBMS and Application-Specific Layers, IEEE Database Engineering, Special Issue on Extensible DBMS, 1987

    Google Scholar 

  26. Shasha, D., What Good are Concurrent Search Structure Algorithms for Databases Anyway?, IEEE Database Engineering Vol. 8 No. 2, 1985

    Google Scholar 

  27. Scholl, M.H., Schek, H.-J., Paul, H.-B., Supporting Flat Relations by a Nested Relational Kernel, Proc. 13th VLDB Conference, 1987

    Google Scholar 

  28. Traiger, I.L., Trends in Systems Aspects of Database Management, Proc. 2nd Int. Conf. on Databases (ICOD-2), 1983

    Google Scholar 

  29. Walter, B., Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications, Proc. 10th VLDB Conference, 1984

    Google Scholar 

  30. Weikum, G., A Theoretical Foundation of Multi-Level Concurrency Control, Proc. 5th ACM Symp. on PODS, 1986

    Google Scholar 

  31. Weikum, G., Pros and Cons of Operating System Transactions for Data Base Systems, ACM/IEEE Fall Joint Computer Conference, 1986

    Google Scholar 

  32. Weikum, G., Principles and Realisation Strategies of Multi-Level Transaction Management, Technical Report DVSI-1987-T1, Technical University of Darmstadt

    Google Scholar 

  33. Weikum, G., Enhancing Concurrency in Layered Systems, 2nd Int. Workshop on High Performance Transaction Systems, 1987

    Google Scholar 

  34. Weikum, G., Schek, H.-J., Architectural Issues of Transaction Management in Layered Systems, Proc. 10th VLDB Conference, 1984

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hebrew University at Jerusalem, Israel

    C. Beeri

  2. Technical University of Darmstadt, West Germany

    H.-J. Schek & G. Weikum

Authors
  1. C. Beeri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H.-J. Schek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. G. Weikum
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. Schmidt S. Ceri M. Missikoff

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Beeri, C., Schek, HJ., Weikum, G. (1988). Multi-level transaction management, theoretical art or practical need?. In: Schmidt, J.W., Ceri, S., Missikoff, M. (eds) Advances in Database Technology—EDBT '88. EDBT 1988. Lecture Notes in Computer Science, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19074-0_51

Download citation

  • DOI: https://doi.org/10.1007/3-540-19074-0_51

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19074-5

  • Online ISBN: 978-3-540-39095-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation