Model for concurrency in nested transactions systems

被引：0

作者：

机构：

[1] Beeri, Catriel

[2] Bernstein, Philip A.

[3] Goodman, Nathan

来源：

Beeri, Catriel | 1600年 / 36期

关键词：

Computer Programming--Algorithms - Mathematical Techniques--Graph Theory;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

A model for database concurrency control permits nested transactions. In this model, transactions may execute subtransactions, giving rise to tree-structured computations. A serializability theory is developed for this model, which can be used to prove the correctness of concurrency control algorithms for nested transactions and for multilevel database systems. The theory is based on an abstract model of computation that allows arbitrary operations and parallel and even nondeterministic programs. Axioms are presented that express the basic properties that programs that manage or access data need to satisfy and are used to derive proof techniques. The proof techniques are illustrated by applying them to several well-known concurrency control problems.

引用