Clarification of two phase locking in concurrent transaction processing

Author

Leu, Pei-jyun ; Bhargava, Bharat

Author_Institution

Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA

Volume

14

Issue

1

fYear

1988

fDate

1/1/1988 12:00:00 AM

Firstpage

122

Lastpage

125

Abstract

The authors propose a formal definition of the two-phase locking class derived from the semantic description of the two-phase locking protocol, and prove that this definition is equivalent to that given by C.H. Papadimitriou (1979). They present: (1) a precise definition of the two phase locking; (2) a clarification of the occurrence and the order of all events such as lock points, unlock points, read operations, and write operations of conflicting transactions; and (3) by relaxing some conditions in the given definition, the derivation of a new class called restricted-non-two-phase locking (RN2PL), which is a superset of the class two-phase locking (2PL) but a subset of the class D-serializable (DSR) given by Papadimitriou

Keywords

database theory; distributed databases; parallel programming; protocols; D-serializable; RN2PL; concurrent transaction processing; conflicting transactions; lock points; locking protocol; read operations; semantic description; two phase locking; unlock points; write operations; Access protocols; Concurrency control; Transaction databases;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.4629

Filename

4629