Issue No. 01 - January (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.4629
<p>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 ofall 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.</p>
two phase locking; concurrent transaction processing; semantic description; locking protocol; lock points; unlock points; read operations; write operations; conflicting transactions; RN2PL; D-serializable; database theory; distributed databases; parallel programming; protocols
B. Bhargava and P. Leu, "Clarification of Two Phase Locking in Concurrent Transaction Processing," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 122-125, 1988.