Title :
Specification of real-time distributed database systems
Author :
Ramanathan, Geetha ; Alagar, V.S.
Author_Institution :
Dept. of Comput. Sci. & Inf. Process., Brock Univ., St. Catharines, Ont., Canada
Abstract :
A unified framework is given for the specification of external consistency constraints, integrity constraints, and temporal consistency constraints of a real-time distributed database system. The formalism is event based and facilitates both relative and quantitative reasoning about time. The functional model of V.S. Alagar and G. Ramanathan (1991) is extended with constructs needed to specify the requirements of real-time databases. To illustrate the use of these constructs, the specification and proof of correctness of a real-time concurrency control protocol are presented.<>
Keywords :
concurrency control; data integrity; distributed databases; formal specification; real-time systems; correctness; event based; external consistency constraints; formalism; functional model; integrity constraints; quantitative reasoning; real-time concurrency control protocol; real-time distributed database system; temporal consistency constraints; unified framework; Computer science; Concurrency control; Database systems; Information processing; Logic; Protocols; Real time systems; Scheduling algorithm; Timing; Transaction databases;
Conference_Titel :
CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.
Conference_Location :
The Hague, Netherlands
Print_ISBN :
0-8186-2760-3
DOI :
10.1109/CMPEUR.1992.218479
