DocumentCode
3255514
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
fYear
1992
fDate
28-30 May 1992
Firstpage
316
Lastpage
319
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location
Toronto, Ont.
Print_ISBN
0-8186-2812-X
Type
conf
DOI
10.1109/ICCI.1992.227646
Filename
227646
Link To Document