A concurrency control theory for nested transactions (Preliminary Report)

  • Authors:

  • C. Beeri;P. A. Bernstein;N. Goodman;M. Y. Lai;D. E. Shasha

  • Affiliations:

  • -;-;-;-;-

  • Venue:
  • PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
  • Year:
  • 1983

Quantified Score

Hi-index 0.01

Visualization

Abstract

Concurrency control is the activity of synchronizing transactions that access shared data. A concurrency control algorithm is regarded as correct if it ensures that any interleaved execution of transactions is equivalent to a serial one. Such executions are called serializable. Serializability theory provides a method for modelling and analyzing the correctness of concurrency control algorithms [BSW, Pa]. The concept of nested transaction has recently received much attention [GR], [Mo]. In a nested transaction model, each transaction can invoke sub- transactions, which can invoke sub-subtransactions, and so on. The natural modelling concept is the tree log. The leaves of a tree log are atomic operations executed by the underlying system. Internal nodes are operations (as seen by their parents) implemented as transactions (as seen by their children). Nodes are related by a partial order