Title :
The correctness of concurrency control for multiversion database systems with limited number of versions
Author_Institution :
Inst. of Comput. Sci., Tech. Univ. of Poznan, Poland
Abstract :
The concurrency control problem for multiversion database systems (MVDBSs) with system-imposed upper bounds on the total number of data item versions stored in the database is considered. Concurrency control theory for MVDBSs is reviewed. The inadequacy of this theory for analyzing concurrency control algorithms for k-version database systems (KVDBSs) is demonstrated. A formal concurrency control theory for KVDBS is presented. It is developed in terms of KV schedules. The relationships among mono-multi, and KV schedules are summarized
Keywords :
concurrency control; database management systems; database theory; scheduling; algorithms; concurrency control; correctness; data item versions; formal concurrency control theory; k-version database systems; k-version schedules; limited version number; monoschedules; multischedules; multiversion database systems; system-imposed upper bounds; Algorithm design and analysis; Concurrency control; Concurrent computing; Database systems; Out of order; System recovery; Transaction databases; Upper bound; Writing;
Conference_Titel :
Data Engineering, 1993. Proceedings. Ninth International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-8186-3570-3
DOI :
10.1109/ICDE.1993.344020
