Design of transaction management protocols

被引：6

作者：

Kozak, P ^{[1
]}

Wonham, WM ^{[1
]}

机构：

[1] UNIV TORONTO,DEPT ELECT ENGN,SYST CONTROL GRP,TORONTO,ON M5S 1A4,CANADA

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1996年 / 41卷 / 09期

关键词：

D O I：

10.1109/9.536503

中图分类号：

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

学科分类号：

0812 ;

摘要：

The paper shows how transaction management protocols can be designed using discrete-event system control theory. It outlines designs for some well-known protocols: serialization graph testing, two-phase locking, and timestamp ordering. These protocols can be obtained as solutions (centralized, fully decentralized, or maximal decentralized) of standard control problems, The results serve to unify the problems considered and suggest the possibility of computer-aided design.

引用

页码：1330 / 1335

页数：6

共 7 条

[1]

Bernstein P.A., 1987, Concurrency Control and Recovery in Database Systems

[2] LIMITED LOOKAHEAD POLICIES IN SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS [J].

CHUNG, SL ;

LAFORTUNE, S ;

LIN, F .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1992, 37 (12) :1921-1935

[3] FULLY DECENTRALIZED SOLUTIONS OF SUPERVISORY CONTROL-PROBLEMS [J].

KOZAK, P ;

WONHAM, WM .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (12) :2094-2097

[4] MODELING AND ANALYSIS OF TRANSACTION EXECUTION IN DATABASE-SYSTEMS [J].

LAFORTUNE, S .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1988, 33 (05) :439-447

[5]

Papadimitriou CH, 1986, THEORY DATABASE CONC

[6] THE CONTROL OF DISCRETE EVENT SYSTEMS [J].

RAMADGE, PJG ;

WONHAM, WM .

PROCEEDINGS OF THE IEEE, 1989, 77 (01) :81-98

[7] THINK GLOBALLY, ACT LOCALLY - DECENTRALIZED SUPERVISORY CONTROL [J].

RUDIE, K ;

WONHAM, WM .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1992, 37 (11) :1692-1708

← 1 →