Abstract
The problem of providing operational integrity of data bases as opposed to operating systems is discussed. Techniques of resource locking, mainly individual object locking and predicate locking, are surveyed, improved, and unified. An efficient on-line transitive closure algorithm for deadlock discovery is presented and analyzed. Several strategies for preventing indefinite delay of transactions are proposed. Phantoms and the need for predicate locking are surveyed and reconsidered. Several strategies for handling phantoms are proposed: one without predicate locking and two in which predicate locking is needed for writing transactions only, and in which individual object locking sufficies for pure readers.
Chapter PDF
Similar content being viewed by others
Bibliography
Bayer, R., "AGGREGATES: A Software Design Method and its Application to a Family of Transitive Closure Algorithms". TUM-Math. Report No. 7432, Technische Universität München, Sept. 1974
Bjork, L.A., "Recovery Semantics for a DB/DC System". Proceedings ACM Nat'l. Conference 1973, 142–146
Chamberlin, D.D., Boyce, R.F., Traiger, I.L., "A Deadlock-free Scheme for Resource Locking in a Data Base Environment". Information Processing 1974, 340–343
Codd, E.F., "A Relational Model for Large Shared Data Banks". Comm. ACM 13, 6 (June 1970), 377–387
Coffman, E.G. Jr., Elphick, M.J., Shoshani, A., "System Deadlocks". Computing Surveys 3, 2 (June 1971), 67–78
Davies, C.T., "Recovery Semantics for a DB/DC System". Proceedings ACM Nat'l. Conference 1973, 136–141
Eswaran, K.P., Gray, J.N., Lorie, R.A., Traiger I.L., "On the Notions of Consistency and Predicate Locks in a Data Base System". IBM Research Report RJ 1487, Dec. 30, 1974
Everest, G.C., "Concurrent Update Control and Data Base Integrity". In: Data Base Management (ed. Klimbie, J.W., and Koffeman, K.L.), North Holland 1974, 241–270
Fossum, B.M., "Data Base Integrity as Provided for by a Particular Data Base Management System". In: Data Base Management (ed. Klimbie, J.W., and Koffeman, K.L.), North Holland 1974, 271–288
Habermann, A.N., "Prevention of System Deadlocks". Comm. ACM 12, 7 (July 1969), 373–377, 385
King, P.F., Collmeyer, A.J., "Database Sharing — an Efficient Mechanism for Supporting Concurrent Processes". AFIPS Nat'l. Comp. Conf. Proceedings 1973, 271–275
Olle, T.W., "Current and Future Trends in Data Base Management Systems". Information Processing 1974, 998–1006
Ramsperger, N., "Verringerung von Prozeßbehinderungen in Rechensystemen". Dissertation, Technische Universität München, 1974
Schroff, R., "Vermeidung von totalen Verklemmungen in bewerteten Petrinetzen". Dissertation, Technische Universität München, 1974
Warshall, S., "A Theorem on Boolean Matrices". Journal ACM 9, 1 (January 1962), 11–12
Wilkes, M.V., "On Preserving the Integrity of Data Bases". The Computer Journal, 15, 3 (August 1972), 191–194
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag
About this paper
Cite this paper
Bayer, R. (1976). On the integrity of data bases and resource locking. In: Hasselmeier, H., Spurth, W.G. (eds) Data Base Systems. IBM 1975. Lecture Notes in Computer Science, vol 39. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07612-3_15
Download citation
DOI: https://doi.org/10.1007/3-540-07612-3_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07612-4
Online ISBN: 978-3-540-38130-3
eBook Packages: Springer Book Archive