DocumentCode
3292064
Title
High level specification of concurrency control in distributed database systems
Author
Chiu, Lin ; Liu, Ming T.
Author_Institution
AT&T Bell Labs., Columbus, OH, USA
fYear
1988
fDate
11-15 Apr 1988
Firstpage
309
Lastpage
317
Abstract
The authors propose a high-level specification that is based on an object-oriented model of concurrency control algorithms. Concurrency control algorithms are specified in a high-level fashion without losing their formality. Using 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
Keywords
distributed databases; parallel programming; specification languages; concurrency control; distributed database systems; formality; object-oriented model; specifications; Concurrency control; Contracts; Control systems; Database systems; Distributed control; Distributed databases; Object oriented modeling; Scattering; Transaction databases; Zirconium;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN
0-89791-258-6
Type
conf
DOI
10.1109/ICSE.1988.93711
Filename
93711
Link To Document