DocumentCode
1367967
Title
Design of transaction management protocols
Author
Kozák, P. ; Wonham, W.M.
Author_Institution
Inst. of Inf. Theory & Autom., Czechoslovak Acad. of Sci., Prague, Czech Republic
Volume
41
Issue
9
fYear
1996
fDate
9/1/1996 12:00:00 AM
Firstpage
1330
Lastpage
1335
Abstract
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
Keywords
database management systems; discrete event systems; graph theory; protocols; transaction processing; computer-aided design; discrete-event system control theory; serialization graph testing; timestamp ordering; transaction management protocols; two-phase locking; Automatic control; Centralized control; Control systems; Control theory; Design automation; Discrete event systems; Protocols; Supervisory control; Testing; Transaction databases;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/9.536503
Filename
536503
Link To Document