A Family of Locking Protocols for Database Systems that Are Modeled by Directed Graphs

Abraham Silberschatz, Zvi M. Kedem

Research output: Contribution to journalArticle

Abstract

This paper is concerned with the problem of ensuring the integrity of database systems that are accessed concurrently by a number of independent asychronously running transactions. It is assumed that the database system is partitioned into small units that are referred to as the database entities. The relation between the entities is represented by a directed acyclic graph in which the vertices correspond to the database entities and the arcs correspond to certain access rights. We develop a family of non-two-phase locking protocols for such systems that will be shown to ensure serializability and deadlock-freedom. This family is sufficiently general to encompass all the previously developed non-two-phase locking protocols as well as a number of new protocols. One of these new protocols that seems to be particularly useful is also presented in this paper.

Original languageEnglish (US)
Pages (from-to)558-562
Number of pages5
JournalIEEE Transactions on Software Engineering
VolumeSE-8
Issue number6
DOIs
StatePublished - Nov 1982

    Fingerprint

Keywords

  • Concurrency
  • consistency
  • database systems
  • deadlocks
  • locking protocols
  • transactions

ASJC Scopus subject areas

  • Software

Cite this