UNIFYING CONCURRENCY-CONTROL AND RECOVERY OF TRANSACTIONS

被引：11

作者：

ALONSO, G

VINGRALEK, R

AGRAWAL, D

BREITBART, Y

ELABBADI, A

SCHEK, HJ

WEIKUM, G

机构：

[1] UNIV KENTUCKY,DEPT COMP SCI,LEXINGTON,KY 40506

[2] SWISS FED INST TECHNOL,DEPT COMP SCI,CH-8092 ZURICH,SWITZERLAND

来源：

INFORMATION SYSTEMS | 1994年 / 19卷 / 01期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0306-4379(94)90029-9

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：101 / 115

页数：15

共 30 条

[1] CONSISTENCY AND ORDERABILITY - SEMANTICS-BASED CORRECTNESS CRITERIA FOR DATABASES [J].

AGRAWAL, D ;

ELABBADI, A ;

SINGH, AK .

ACM TRANSACTIONS ON DATABASE SYSTEMS, 1993, 18 (03) :460-486

[2]

AGRAWAL D, 1990, 9TH P ACM S PRINC DA, P85

[3]

ALONSO G, 1993, TRCS9319 U CAL SANT

[4]

BADAL DZ, 1979, IEEE P COMPSAC C, P588

[5]

BADRINATH BR, 1992, ACM T DATABASE SYSTE, V17

[6] A MODEL FOR CONCURRENCY IN NESTED TRANSACTIONS SYSTEMS [J].

BEERI, C ;

BERNSTEIN, PA ;

GOODMAN, N .

JOURNAL OF THE ACM, 1989, 36 (02) :230-269

[7]

BEERI C, 1988, P INT C EXTENDING DA

[8] FORMAL ASPECTS OF SERIALIZABILITY IN DATABASE CONCURRENCY CONTROL [J].

BERNSTEIN, PA ;

SHIPMAN, DW ;

WONG, WS .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (03) :203-216

[9]

Bernstein Philip A., 1987, CONCURRENCY CONTROL

[10]

BREITBART Y, 1992, 2ND P IEEE INT WORKS

← 1 2 3 →