Acta Informatica

, Volume 16, Issue 1, pp 1–13 | Cite as

A characterization of database graphs admitting a simple locking protocol

  • Zvi Kedem
  • Abraham Silberschatz
Article
Received:

Summary

A simple locking protocol is presented for transactions executing concurrently in a database. The locking protocol is not two-phase, but each entity in the database may be locked at most once by any transaction. The database is modeled by a directed graph whose vertices correspond to the entities, and whose arcs correspond to certain locking restrictions. Necessary and sufficient conditions which assure serializability and deadlock-freedom in the absence of a concurrency control are derived.

Keywords

Information System Operating System Data Structure Communication Network Information Theory 
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.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bayer, R., Schkolnick, M.: Concurrency of operations on B-trees. Acta Informat. 9, 1–21 (1977)Google Scholar
  2. 2.
    Chamberlin, D., Boyce, R.F., Traiger, I.L.: A deadlock-free scheme for resource locking in a database environment. Proc. IFIPS 74 Congr., pp. 340–343, Amsterdam: North-Holland, 1974Google Scholar
  3. 3.
    Coffman, E., Elphick, M., Shoshani, A.: System deadlocks. Comput. Surveys 3, 67–78 (1971)Google Scholar
  4. 4.
    Ellis, C.S.: Concurrent search and insertion in 2–3 trees. Technical Report Number 78-05-01, University of Washington, 1978Google Scholar
  5. 5.
    Eswaran, K.P., Gray, J.M., Lorie, R.A., Traiger, I.L.: The notions of consistency and predicate locks in a database system. CACM 10, 624–723 (1976)Google Scholar
  6. 6.
    Gray, J.: Notes on database operating systems. Research Report, IBM Research Lab, San Jose, 1978Google Scholar
  7. 7.
    Rosenkrantz, D.J., Stearns, R.E., Lewis, P.M. II: System level concurrency control for distributed database systems. ACM Transactions on Database Systems 3, 178–198 (1978)Google Scholar
  8. 8.
    Silberschatz, A., Kedem, Z.: Consistency in hierarchical database systems. JACM 27, 72–80 (1980)Google Scholar
  9. 9.
    Stearns, R.E., Lewis, P.M. II, Rosenkrantz, D.J.: Concurrency control for database systems. Proc. IEEE Symp. on Foundations of Computer Science, 19–32, 1976Google Scholar

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

  • Zvi Kedem
    • 1
  • Abraham Silberschatz
    • 2
  1. 1.Department of Computer ScienceS.U.N.Y. at Stony BrookNew YorkUSA
  2. 2.Department of Computer ScienceUniversity of TexasAustinUSA

Personalised recommendations