Concurrency control is one of the major issues in database systems; therefore, many concurrency control algorithms based on different strategies have been proposed. Unfortunately there is still lack of a general model for describing these algorithms. Hence, algorithms cannot be uniformly presented, which makes it hard to understand them and to prove their correctness. This paper proposes a high level specification, based on an object-oriented model, of concurrency control algorithms. Concurrency control algorithms are specified in a high level fashion without losing their formality. Basing on the object-oriented model, objects are individually specified. Therefore, the specification of a concurrency control algorithm consists of the specifications of objects and their interactions.
['Lin Chiu', 'Ming T. Liu']
High level specification of concurrency control in distributed database systems