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

  • C. Beeri
  • H.-J. Schek
  • G. Weikum
Distributed Databases And Transaction Management
Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [As76]
    Astrahan, M.M., et al., System R: Relational Approach to Database Management, ACM TODS Vol.1 No.2, 1976Google Scholar
  2. [BBG87]
    Beeri, C., Bernstein, P.A., Goodman, N., A Model for Nested Transactions Systems, Technical Report, Hebrew University, 1987Google Scholar
  3. [BBGLS83]
    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, 1983Google Scholar
  4. [BHG87]
    Bernstein, P.A., Hadzilacos, V., Goodman, N., Concurrency Control and Recovery in Database Systems, Addison-Wesley Publ., 1987Google Scholar
  5. [BJS86]
    Böttcher,S., Jarke, M., Schmidt, J.W., Adaptive Predicate Managers in Database Systems, Proc. 12th VLDB Conference, 1986Google Scholar
  6. [BKK85]
    Bancilhon, F., Kim, W., Korth, H.F., A Model of CAD Transactions, Proc. 11th VLDB Conference, 1985Google Scholar
  7. [Ca86]
    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, 1986Google Scholar
  8. [Ch81]
    Chamberlin, D.D., et al., A History and Evaluation of System R, Communications of the ACM Vol.24 No.10, 1981Google Scholar
  9. [DeL87]
    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, 1987Google Scholar
  10. [DPS83]
    Dadam, P., Pistor, P., Schek, H.-J., A Predicate Oriented Locking Approach for Integrated Information Systems, Information Processing'83, North-Holland, 1983Google Scholar
  11. [DPSW88]
    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 appearGoogle Scholar
  12. [EB84]
    Elhardt, K., Bayer, R., A Database Cache for High Performance and Fast Restart in Database Systems, ACM TODS Vol.9 No.4, 1984Google Scholar
  13. [Gr78]
    Gray, J.N., Notes on Data Base Operating Systems, in: Operating Systems — An Advanced Course, LNCS 60, Springer, 1978Google Scholar
  14. [Gr81a]
    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, 1981Google Scholar
  15. [Gr81b]
    Gray, J., The Transaction Concept: Virtues and Limitations, Proc. 7th VLDB Conference, 1981Google Scholar
  16. [HR83]
    Haerder, T., Reuter, A., Principles of Transaction-Oriented Database Recovery, ACM Computing Surveys Vol.15 No.4, 1983Google Scholar
  17. [HR87]
    Haerder, T., Rothermel, K., Concepts for Transaction Recovery in Nested Transactions, Proc. ACM SIGMOD Conference, 1987Google Scholar
  18. [La86]
    Lamport, L., On Interprocess Communication — Part I: Basic Formalism, Distributed Computing Vol. 1, 1986Google Scholar
  19. [Li85]
    Liskov, B., Overview of the Argus Language and System, in: Distributed Systems, LNCS 190, Springer, 1985Google Scholar
  20. [LM86]
    Lynch, N., Merritt, M., Introduction to the Theory of Nested Transactions, Proc. Int. Conf. on Database Theory, Springer, 1986Google Scholar
  21. [MGG86]
    Moss, J.E.B., Griffeth, N.D., Graham, M.H., Abstraction in Recovery Management, Proc. ACM SIGMOD Conference, 1986Google Scholar
  22. [Mo85]
    Moss, J.E.B., Nested Transactions: An Approach to Reliable Distributed Computing, MIT Press, 1985Google Scholar
  23. [Ong84]
    Ong, K.S., Synapse Approach to Database Recovery, Proc. 3rd ACM Symp. on PODS, 1984Google Scholar
  24. [PSSWD87]
    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, 1987Google Scholar
  25. [Sch87]
    Schek, H.-J., DASDBS: A Kernel DBMS and Application-Specific Layers, IEEE Database Engineering, Special Issue on Extensible DBMS, 1987Google Scholar
  26. [Sh85]
    Shasha, D., What Good are Concurrent Search Structure Algorithms for Databases Anyway?, IEEE Database Engineering Vol. 8 No. 2, 1985Google Scholar
  27. [SSP87]
    Scholl, M.H., Schek, H.-J., Paul, H.-B., Supporting Flat Relations by a Nested Relational Kernel, Proc. 13th VLDB Conference, 1987Google Scholar
  28. [Tr83]
    Traiger, I.L., Trends in Systems Aspects of Database Management, Proc. 2nd Int. Conf. on Databases (ICOD-2), 1983Google Scholar
  29. [Wa84]
    Walter, B., Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications, Proc. 10th VLDB Conference, 1984Google Scholar
  30. [Wei86a]
    Weikum, G., A Theoretical Foundation of Multi-Level Concurrency Control, Proc. 5th ACM Symp. on PODS, 1986Google Scholar
  31. [Wei86b]
    Weikum, G., Pros and Cons of Operating System Transactions for Data Base Systems, ACM/IEEE Fall Joint Computer Conference, 1986Google Scholar
  32. [Wei87a]
    Weikum, G., Principles and Realisation Strategies of Multi-Level Transaction Management, Technical Report DVSI-1987-T1, Technical University of DarmstadtGoogle Scholar
  33. [Wei87b]
    Weikum, G., Enhancing Concurrency in Layered Systems, 2nd Int. Workshop on High Performance Transaction Systems, 1987Google Scholar
  34. [WS84]
    Weikum, G., Schek, H.-J., Architectural Issues of Transaction Management in Layered Systems, Proc. 10th VLDB Conference, 1984Google Scholar

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • C. Beeri
    • 1
  • H.-J. Schek
    • 2
  • G. Weikum
    • 2
  1. 1.Hebrew University at JerusalemIsrael
  2. 2.Technical University of DarmstadtWest Germany

Personalised recommendations