TY - JOUR
T1 - Controlling concurrency using locking protocols
AU - Kedem, Zvi
AU - Silberschatz, Abraham
N1 - Funding Information:
*This research was partially supported by NSF Grants MCS 7901168 and MCS 7702463.
Funding Information:
This research was partially supported by NSF Grants MCS 7901168 and MCS 7702463.
Publisher Copyright:
© 1979 IEEE.
PY - 1979
Y1 - 1979
N2 - This paper is concerned with the problem of developing locking protocols for ensuring the consistency of database systems that are accessed concurrently by a number of independent transactions. It is assumed that the database is modelled by a directed acyclic graph whose vertices correspond to the database entities, and whose arcs correspond to certain locking restrictions. Several locking protocols are presented. The weak protocol is shown to ensure consistency and deadlock-freedom only for databases that are organized as trees. For the databases that are organized as directed acyclic graphs, the strong protocol is presented. Discussion of SHARED and EXCLUSIVE locks is also included.
AB - This paper is concerned with the problem of developing locking protocols for ensuring the consistency of database systems that are accessed concurrently by a number of independent transactions. It is assumed that the database is modelled by a directed acyclic graph whose vertices correspond to the database entities, and whose arcs correspond to certain locking restrictions. Several locking protocols are presented. The weak protocol is shown to ensure consistency and deadlock-freedom only for databases that are organized as trees. For the databases that are organized as directed acyclic graphs, the strong protocol is presented. Discussion of SHARED and EXCLUSIVE locks is also included.
UR - http://www.scopus.com/inward/record.url?scp=84976773626&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84976773626&partnerID=8YFLogxK
U2 - 10.1109/SFCS.1979.12
DO - 10.1109/SFCS.1979.12
M3 - Conference article
AN - SCOPUS:84976773626
SN - 0272-5428
SP - 274
EP - 285
JO - Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
JF - Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
M1 - 4568022
T2 - 20th Annual Symposium on Foundations of Computer Science, FOCS 1979
Y2 - 29 October 1979 through 31 October 1979
ER -