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.
Preview
Unable to display preview. Download preview PDF.
References
Astrahan, M.M., et al., System R: Relational Approach to Database Management, ACM TODS Vol.1 No.2, 1976
Beeri, C., Bernstein, P.A., Goodman, N., A Model for Nested Transactions Systems, Technical Report, Hebrew University, 1987
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
Bernstein, P.A., Hadzilacos, V., Goodman, N., Concurrency Control and Recovery in Database Systems, Addison-Wesley Publ., 1987
Böttcher,S., Jarke, M., Schmidt, J.W., Adaptive Predicate Managers in Database Systems, Proc. 12th VLDB Conference, 1986
Bancilhon, F., Kim, W., Korth, H.F., A Model of CAD Transactions, Proc. 11th VLDB Conference, 1985
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
Chamberlin, D.D., et al., A History and Evaluation of System R, Communications of the ACM Vol.24 No.10, 1981
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
Dadam, P., Pistor, P., Schek, H.-J., A Predicate Oriented Locking Approach for Integrated Information Systems, Information Processing'83, North-Holland, 1983
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
Elhardt, K., Bayer, R., A Database Cache for High Performance and Fast Restart in Database Systems, ACM TODS Vol.9 No.4, 1984
Gray, J.N., Notes on Data Base Operating Systems, in: Operating Systems — An Advanced Course, LNCS 60, Springer, 1978
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
Gray, J., The Transaction Concept: Virtues and Limitations, Proc. 7th VLDB Conference, 1981
Haerder, T., Reuter, A., Principles of Transaction-Oriented Database Recovery, ACM Computing Surveys Vol.15 No.4, 1983
Haerder, T., Rothermel, K., Concepts for Transaction Recovery in Nested Transactions, Proc. ACM SIGMOD Conference, 1987
Lamport, L., On Interprocess Communication — Part I: Basic Formalism, Distributed Computing Vol. 1, 1986
Liskov, B., Overview of the Argus Language and System, in: Distributed Systems, LNCS 190, Springer, 1985
Lynch, N., Merritt, M., Introduction to the Theory of Nested Transactions, Proc. Int. Conf. on Database Theory, Springer, 1986
Moss, J.E.B., Griffeth, N.D., Graham, M.H., Abstraction in Recovery Management, Proc. ACM SIGMOD Conference, 1986
Moss, J.E.B., Nested Transactions: An Approach to Reliable Distributed Computing, MIT Press, 1985
Ong, K.S., Synapse Approach to Database Recovery, Proc. 3rd ACM Symp. on PODS, 1984
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
Schek, H.-J., DASDBS: A Kernel DBMS and Application-Specific Layers, IEEE Database Engineering, Special Issue on Extensible DBMS, 1987
Shasha, D., What Good are Concurrent Search Structure Algorithms for Databases Anyway?, IEEE Database Engineering Vol. 8 No. 2, 1985
Scholl, M.H., Schek, H.-J., Paul, H.-B., Supporting Flat Relations by a Nested Relational Kernel, Proc. 13th VLDB Conference, 1987
Traiger, I.L., Trends in Systems Aspects of Database Management, Proc. 2nd Int. Conf. on Databases (ICOD-2), 1983
Walter, B., Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications, Proc. 10th VLDB Conference, 1984
Weikum, G., A Theoretical Foundation of Multi-Level Concurrency Control, Proc. 5th ACM Symp. on PODS, 1986
Weikum, G., Pros and Cons of Operating System Transactions for Data Base Systems, ACM/IEEE Fall Joint Computer Conference, 1986
Weikum, G., Principles and Realisation Strategies of Multi-Level Transaction Management, Technical Report DVSI-1987-T1, Technical University of Darmstadt
Weikum, G., Enhancing Concurrency in Layered Systems, 2nd Int. Workshop on High Performance Transaction Systems, 1987
Weikum, G., Schek, H.-J., Architectural Issues of Transaction Management in Layered Systems, Proc. 10th VLDB Conference, 1984
Author information
Authors and Affiliations
Editor information
Rights 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