The correctness of concurrency control for multiversion database systems with limited number of versions

Author

Morzy, Tadeusz

Author_Institution

Inst. of Comput. Sci., Tech. Univ. of Poznan, Poland

fYear

1993

fDate

19-23 Apr 1993

Firstpage

595

Lastpage

604

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Data Engineering, 1993. Proceedings. Ninth International Conference on

Conference_Location

Vienna

Print_ISBN

0-8186-3570-3

Type

conf

DOI

10.1109/ICDE.1993.344020

Filename

344020