Title :
A graph testing concurrency control protocol for object bases
Author :
Resende, R.F. ; El Abbadi, A.
Author_Institution :
Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
Abstract :
Presents a protocol for concurrency control in object bases. The object bases model of Hadzilacos and Hadzilacos (1991) is used as a framework to describe the protocol and to derive a proof of correctness. The protocol accepts all correct executions. A definition of order preserving serializability suitable for the model is also presented. A slight modification of the protocol ensures that the produced executions obeys the defined order-preserving serializability. The protocol detects inconsistencies by constructing a graph for each node of the nested execution and testing its acyclicity
Keywords :
concurrency control; database theory; distributed databases; object-oriented databases; protocols; acyclicity testing; concurrency control protocol; correctness proof; graph testing; inconsistencies detection; object bases; order preserving serializability; proof of correctness; Access protocols; Computer science; Concurrency control; Concurrent computing; History; Object detection; Testing;
Conference_Titel :
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-8186-2812-X
DOI :
10.1109/ICCI.1992.227646
