Unifying concurrency control and recovery of transactions

Gustavo Alonso, Radek Vingralek, Divyakant Agrawal, Yuri Breitbart, Amr El Abbadi, Hans J. Schek, Gerhard Weikum

Research output: Contribution to journalArticle

14 Citations (Scopus)

Abstract

Transaction management in shared databases is generally viewed as a combination of two problems, concurrency control and recovery, which have been considered as orthogonal problems. Consequently, the correctness criteria derived for these problems are incomparable. Recently a unified theory of concurrency control and recovery has been introduced that is based on commutativity and performs transaction recovery by submitting inverse operations for operations of aborted transactions. In this paper we provide a constructive correctness criterion that leads to the design of unified protocols that guarantee atomicity and serializability.

Original languageEnglish
Pages (from-to)101-115
Number of pages15
JournalInformation Systems
Volume19
Issue number1
Publication statusPublished - 1 Jan 1994
Externally publishedYes

Fingerprint

Concurrency control
Recovery
Network protocols
Concurrency

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture
  • Management of Technology and Innovation
  • Management Information Systems

Cite this

Alonso, G., Vingralek, R., Agrawal, D., Breitbart, Y., El Abbadi, A., Schek, H. J., & Weikum, G. (1994). Unifying concurrency control and recovery of transactions. Information Systems, 19(1), 101-115.

Unifying concurrency control and recovery of transactions. / Alonso, Gustavo; Vingralek, Radek; Agrawal, Divyakant; Breitbart, Yuri; El Abbadi, Amr; Schek, Hans J.; Weikum, Gerhard.

In: Information Systems, Vol. 19, No. 1, 01.01.1994, p. 101-115.

Research output: Contribution to journalArticle

Alonso, G, Vingralek, R, Agrawal, D, Breitbart, Y, El Abbadi, A, Schek, HJ & Weikum, G 1994, 'Unifying concurrency control and recovery of transactions', Information Systems, vol. 19, no. 1, pp. 101-115.
Alonso G, Vingralek R, Agrawal D, Breitbart Y, El Abbadi A, Schek HJ et al. Unifying concurrency control and recovery of transactions. Information Systems. 1994 Jan 1;19(1):101-115.
Alonso, Gustavo ; Vingralek, Radek ; Agrawal, Divyakant ; Breitbart, Yuri ; El Abbadi, Amr ; Schek, Hans J. ; Weikum, Gerhard. / Unifying concurrency control and recovery of transactions. In: Information Systems. 1994 ; Vol. 19, No. 1. pp. 101-115.
@article{3ec2dbdc1be94a69bd241090a42f3f3d,
title = "Unifying concurrency control and recovery of transactions",
abstract = "Transaction management in shared databases is generally viewed as a combination of two problems, concurrency control and recovery, which have been considered as orthogonal problems. Consequently, the correctness criteria derived for these problems are incomparable. Recently a unified theory of concurrency control and recovery has been introduced that is based on commutativity and performs transaction recovery by submitting inverse operations for operations of aborted transactions. In this paper we provide a constructive correctness criterion that leads to the design of unified protocols that guarantee atomicity and serializability.",
author = "Gustavo Alonso and Radek Vingralek and Divyakant Agrawal and Yuri Breitbart and {El Abbadi}, Amr and Schek, {Hans J.} and Gerhard Weikum",
year = "1994",
month = "1",
day = "1",
language = "English",
volume = "19",
pages = "101--115",
journal = "Information Systems",
issn = "0306-4379",
publisher = "Elsevier Limited",
number = "1",

}

TY - JOUR

T1 - Unifying concurrency control and recovery of transactions

AU - Alonso, Gustavo

AU - Vingralek, Radek

AU - Agrawal, Divyakant

AU - Breitbart, Yuri

AU - El Abbadi, Amr

AU - Schek, Hans J.

AU - Weikum, Gerhard

PY - 1994/1/1

Y1 - 1994/1/1

N2 - Transaction management in shared databases is generally viewed as a combination of two problems, concurrency control and recovery, which have been considered as orthogonal problems. Consequently, the correctness criteria derived for these problems are incomparable. Recently a unified theory of concurrency control and recovery has been introduced that is based on commutativity and performs transaction recovery by submitting inverse operations for operations of aborted transactions. In this paper we provide a constructive correctness criterion that leads to the design of unified protocols that guarantee atomicity and serializability.

AB - Transaction management in shared databases is generally viewed as a combination of two problems, concurrency control and recovery, which have been considered as orthogonal problems. Consequently, the correctness criteria derived for these problems are incomparable. Recently a unified theory of concurrency control and recovery has been introduced that is based on commutativity and performs transaction recovery by submitting inverse operations for operations of aborted transactions. In this paper we provide a constructive correctness criterion that leads to the design of unified protocols that guarantee atomicity and serializability.

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

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

M3 - Article

VL - 19

SP - 101

EP - 115

JO - Information Systems

JF - Information Systems

SN - 0306-4379

IS - 1

ER -