A theory of global concurrency control in multidatabase systems

Aidong Zhang, Ahmed Elmagarmid

Research output: Contribution to journalArticle

16 Citations (Scopus)

Abstract

This article presents a theoretical basis for global concurrency control to maintain global serializability in multidatabase systems. Three correctness criteria are formulated that utilize the intrinsic characteristics of global transactions to determine the serialization order of global subtransactions at each local site. In particular, two new types of serializability, chain-conflicting serializability and sharing serializability, are proposed and hybrid serializability, which combines these two basic criteria, is discussed. These criteria offer the advantage of imposing no restrictions on local sites other than local serializability while retaining global serializability. The graph testing techniques of the three criteria are provided as guidance for global transaction scheduling. In addition, an optimal property of global transactions for determinating the serialization order of global subtransactions at local sites is formulated. This property defines the upper limit on global serializability in multidatabase systems.

Original languageEnglish
Pages (from-to)331-360
Number of pages30
JournalThe VLDB Journal
Volume2
Issue number3
DOIs
Publication statusPublished - 1 Jul 1993
Externally publishedYes

Fingerprint

Concurrency control
Scheduling
Testing

Keywords

  • Chain-conflicting serializability
  • hybrid serializability
  • optimality
  • sharing serializability

ASJC Scopus subject areas

  • Information Systems
  • Hardware and Architecture

Cite this

A theory of global concurrency control in multidatabase systems. / Zhang, Aidong; Elmagarmid, Ahmed.

In: The VLDB Journal, Vol. 2, No. 3, 01.07.1993, p. 331-360.

Research output: Contribution to journalArticle

@article{3e4ac0edb413440887ee86b5c371da9e,
title = "A theory of global concurrency control in multidatabase systems",
abstract = "This article presents a theoretical basis for global concurrency control to maintain global serializability in multidatabase systems. Three correctness criteria are formulated that utilize the intrinsic characteristics of global transactions to determine the serialization order of global subtransactions at each local site. In particular, two new types of serializability, chain-conflicting serializability and sharing serializability, are proposed and hybrid serializability, which combines these two basic criteria, is discussed. These criteria offer the advantage of imposing no restrictions on local sites other than local serializability while retaining global serializability. The graph testing techniques of the three criteria are provided as guidance for global transaction scheduling. In addition, an optimal property of global transactions for determinating the serialization order of global subtransactions at local sites is formulated. This property defines the upper limit on global serializability in multidatabase systems.",
keywords = "Chain-conflicting serializability, hybrid serializability, optimality, sharing serializability",
author = "Aidong Zhang and Ahmed Elmagarmid",
year = "1993",
month = "7",
day = "1",
doi = "10.1007/BF01228674",
language = "English",
volume = "2",
pages = "331--360",
journal = "VLDB Journal",
issn = "1066-8888",
publisher = "Springer New York",
number = "3",

}

TY - JOUR

T1 - A theory of global concurrency control in multidatabase systems

AU - Zhang, Aidong

AU - Elmagarmid, Ahmed

PY - 1993/7/1

Y1 - 1993/7/1

N2 - This article presents a theoretical basis for global concurrency control to maintain global serializability in multidatabase systems. Three correctness criteria are formulated that utilize the intrinsic characteristics of global transactions to determine the serialization order of global subtransactions at each local site. In particular, two new types of serializability, chain-conflicting serializability and sharing serializability, are proposed and hybrid serializability, which combines these two basic criteria, is discussed. These criteria offer the advantage of imposing no restrictions on local sites other than local serializability while retaining global serializability. The graph testing techniques of the three criteria are provided as guidance for global transaction scheduling. In addition, an optimal property of global transactions for determinating the serialization order of global subtransactions at local sites is formulated. This property defines the upper limit on global serializability in multidatabase systems.

AB - This article presents a theoretical basis for global concurrency control to maintain global serializability in multidatabase systems. Three correctness criteria are formulated that utilize the intrinsic characteristics of global transactions to determine the serialization order of global subtransactions at each local site. In particular, two new types of serializability, chain-conflicting serializability and sharing serializability, are proposed and hybrid serializability, which combines these two basic criteria, is discussed. These criteria offer the advantage of imposing no restrictions on local sites other than local serializability while retaining global serializability. The graph testing techniques of the three criteria are provided as guidance for global transaction scheduling. In addition, an optimal property of global transactions for determinating the serialization order of global subtransactions at local sites is formulated. This property defines the upper limit on global serializability in multidatabase systems.

KW - Chain-conflicting serializability

KW - hybrid serializability

KW - optimality

KW - sharing serializability

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

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

U2 - 10.1007/BF01228674

DO - 10.1007/BF01228674

M3 - Article

VL - 2

SP - 331

EP - 360

JO - VLDB Journal

JF - VLDB Journal

SN - 1066-8888

IS - 3

ER -