Advertisement

Integrity, concurrency, and recovery in databases

  • Rudolf Bayer
Concepts And Techniques Of Data Base Management
Part of the Lecture Notes in Computer Science book series (LNCS, volume 44)

Keywords

Execution Phase Partition Block Deadlock Prevention Read Access Lock Mode 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [ABC 76]
    M. M. Astrahan, M. W. Blasgen, D. D. Chamberlin, K. P. Eswaran, J. N. Gray, P. P. Griffiths, W. F. King, R. A. Lorie, P. R. McJones, J. W. Mehl, G. R. Putzolu, I. L. Traiger, B. W. Wade and V. Watson, "System R: A Relational Approach to Database Management" to appear in ACM Transactions on Database Systems, 1, 2 (1976).CrossRefGoogle Scholar
  2. [Bay 74]
    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, September 1974.Google Scholar
  3. [Bay 75]
    Bayer, R., "On the Integrity of Databases and Resource Locking." In: Data Base Systems (ed. Hasselmeier, H. and Spruth, W. G.), Lecture Notes in Computer Science, 39, Springer, 1976.Google Scholar
  4. [Bjo 73]
    Bjork, L.A., "Recovery Semantics for a DB/DC System." Proceedings ACM Nat'l. Conference 1973, 142–146.Google Scholar
  5. [CBT 73]
    Chamberlin, D. D., Boyce, R. F., Traiger, I. L., "A Deadlock-free Scheme for Resource Locking in a Database Environment." Information Processing 1974, 340–343.Google Scholar
  6. [Cod 70]
    Codd, E. F., "A Relational Model for Large Shared Data Banks." Comm. ACM 13, 6 (June 1970), 377–387.CrossRefGoogle Scholar
  7. [CES 71]
    Coffman, E. G. Jr., Elphick, M. J., Shoshani, A., "System Deadlocks." ACM Computing Surveys 3, 2 (June 1971), 67–78.CrossRefGoogle Scholar
  8. [Dav 73]
    Davies, C. T., "Recovery Semantics for a DB/DC System." Proceedings ACM Nat'l. Conference 1973, 136–141.Google Scholar
  9. [EGLT74]
    Eswaran, K. P., Gray, J. N., Lorie, R. A., Traiger, I. L., "On the Notions of Consistency and Predicate Locks in a Database System." IBM Research Report RJ 1487, December 1974.Google Scholar
  10. [ESC 75]
    Eswaran, K. P., Chamberlin, D. D., "Functional Specifications of a Subsystem for Database Integrity. "IBM Research Report RJ 1601, June 1975.Google Scholar
  11. [Eve 74]
    Everest, G. C., "Concurrent Update Control and Database Integrity." In: Database Management (ed. Klimbie, J. W., and Koffeman, K. L.), North Holland 1974, 241–270.Google Scholar
  12. [Fos 74]
    Fossum, B. M., "Data Base Integrity as Provided for by a Particular Database Management System." In: Database Management (ed. Klimbie, J. W., and Koffman, K. L.), North Holland 1974, 271–288.Google Scholar
  13. [GLP 75]
    Gray, J. N., Lorie, R. A., Putzolu, G. R., "Granularity of Locks in a Large Shared Database." IBM Research Report RJ 1606, June 1975.Google Scholar
  14. [GLPT75]
    Gray, J. N., Lorie, R. A., Putzolu, G. R., Traiger, I. L., "Granularity of Locks and Degrees of Consistency in a Shared Database." IBM Research Report RJ 1654, September 1975.Google Scholar
  15. [Hab 69]
    Habermann, A. N., "Prevention of System Deadlocks." Comm. ACM 12, 7 (July 1969), 373–377, 385.CrossRefGoogle Scholar
  16. [KiC 73]
    King, P. F., Collmeyer, A. J., "Database Sharing — an Efficient Mechanism for Supporting Concurrent Processes." AFIPS Nat'l. Comp. Conf. Proceedings 1973, 271–275.Google Scholar
  17. [LiZ 74]
    Liskov, B. H., Zilles, S. N., "Progrmaming with Abstract Data Types" ACM Sigplan Notices, 9, 4 (April 1974), 50–59.Google Scholar
  18. [Lor 76]
    Lorie, R. A., "Physical Integrity in a Large Segmented Database." IBM Research Report RJ 1767, April 1976.Google Scholar
  19. [Oll 74]
    Olle, T. W., "Current and Future Trends in Database Management Systems." Information Processing 1974, 998–1006.Google Scholar
  20. [Pur 70]
    Purdom, P., Jr., "A Transitive Closure Algorithm." Bit 10 (1970), 76–94.Google Scholar
  21. [Ram 74]
    Ramsperger, N., "Verringerung von Prozeßbehinderungen in Rechensystemen." Dissertation, Technische Universität München, 1974.Google Scholar
  22. [Sch 74]
    Schroff, R., "Vermeidung von totalen Verklemmungen in bewerteten Petrinetzen." Dissertation, Technische Universität München, 1974.Google Scholar
  23. [War 62]
    Warshall, S., "A Theorem on Boolean Matrices." Journal ACM 9, 1 (January 1976), 11–12.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Rudolf Bayer
    • 1
  1. 1.Institut für InformatikTechnische Universität München8 München 2Germany

Personalised recommendations