Modular synchronization in distributed, multiversion databases. Version control and concurrency control

Divyakant Agrawal, Soumitra Sengupta

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

A version control mechanism is proposed that enhances the modularity and extensibility of multiversion concurrency control algorithms. We decouple the multiversion algorithms into two components: version control and concurrency control. This permits modular development of multiversion protocols, and simplifies the task of proving the correctness of these protocols. A set of procedures for version control is described that defines the interface to the version control component. We show that the same interface can be used by the database actions of both two-phase locking and time-stamp concurrency control protocols to access multiversion data. An interesting feature of our framework is that the execution of read-only transactions becomes completely independent of the underlying concurrency control implementation. Unlike other multiversion algorithms, read-only transactions in this scheme do not modify any version related information, and therefore, do not interfere with the execution of read-write transactions. Finally, the extension of the multiversion algorithms to a distributed environment becomes very simple.

Original languageEnglish
Pages (from-to)126-137
Number of pages12
JournalIEEE Transactions on Knowledge and Data Engineering
Volume5
Issue number1
DOIs
Publication statusPublished - 1 Feb 1993
Externally publishedYes

Fingerprint

Concurrency control
Synchronization
Network protocols

ASJC Scopus subject areas

  • Artificial Intelligence
  • Information Systems
  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this

Modular synchronization in distributed, multiversion databases. Version control and concurrency control. / Agrawal, Divyakant; Sengupta, Soumitra.

In: IEEE Transactions on Knowledge and Data Engineering, Vol. 5, No. 1, 01.02.1993, p. 126-137.

Research output: Contribution to journalArticle

@article{238b64f76fd54bc1b547d63324e44ee6,
title = "Modular synchronization in distributed, multiversion databases. Version control and concurrency control",
abstract = "A version control mechanism is proposed that enhances the modularity and extensibility of multiversion concurrency control algorithms. We decouple the multiversion algorithms into two components: version control and concurrency control. This permits modular development of multiversion protocols, and simplifies the task of proving the correctness of these protocols. A set of procedures for version control is described that defines the interface to the version control component. We show that the same interface can be used by the database actions of both two-phase locking and time-stamp concurrency control protocols to access multiversion data. An interesting feature of our framework is that the execution of read-only transactions becomes completely independent of the underlying concurrency control implementation. Unlike other multiversion algorithms, read-only transactions in this scheme do not modify any version related information, and therefore, do not interfere with the execution of read-write transactions. Finally, the extension of the multiversion algorithms to a distributed environment becomes very simple.",
author = "Divyakant Agrawal and Soumitra Sengupta",
year = "1993",
month = "2",
day = "1",
doi = "10.1109/69.204097",
language = "English",
volume = "5",
pages = "126--137",
journal = "IEEE Transactions on Knowledge and Data Engineering",
issn = "1041-4347",
publisher = "IEEE Computer Society",
number = "1",

}

TY - JOUR

T1 - Modular synchronization in distributed, multiversion databases. Version control and concurrency control

AU - Agrawal, Divyakant

AU - Sengupta, Soumitra

PY - 1993/2/1

Y1 - 1993/2/1

N2 - A version control mechanism is proposed that enhances the modularity and extensibility of multiversion concurrency control algorithms. We decouple the multiversion algorithms into two components: version control and concurrency control. This permits modular development of multiversion protocols, and simplifies the task of proving the correctness of these protocols. A set of procedures for version control is described that defines the interface to the version control component. We show that the same interface can be used by the database actions of both two-phase locking and time-stamp concurrency control protocols to access multiversion data. An interesting feature of our framework is that the execution of read-only transactions becomes completely independent of the underlying concurrency control implementation. Unlike other multiversion algorithms, read-only transactions in this scheme do not modify any version related information, and therefore, do not interfere with the execution of read-write transactions. Finally, the extension of the multiversion algorithms to a distributed environment becomes very simple.

AB - A version control mechanism is proposed that enhances the modularity and extensibility of multiversion concurrency control algorithms. We decouple the multiversion algorithms into two components: version control and concurrency control. This permits modular development of multiversion protocols, and simplifies the task of proving the correctness of these protocols. A set of procedures for version control is described that defines the interface to the version control component. We show that the same interface can be used by the database actions of both two-phase locking and time-stamp concurrency control protocols to access multiversion data. An interesting feature of our framework is that the execution of read-only transactions becomes completely independent of the underlying concurrency control implementation. Unlike other multiversion algorithms, read-only transactions in this scheme do not modify any version related information, and therefore, do not interfere with the execution of read-write transactions. Finally, the extension of the multiversion algorithms to a distributed environment becomes very simple.

UR - http://www.scopus.com/inward/record.url?scp=0027539884&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027539884&partnerID=8YFLogxK

U2 - 10.1109/69.204097

DO - 10.1109/69.204097

M3 - Article

VL - 5

SP - 126

EP - 137

JO - IEEE Transactions on Knowledge and Data Engineering

JF - IEEE Transactions on Knowledge and Data Engineering

SN - 1041-4347

IS - 1

ER -