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
fDate :
9/1/1996 12:00:00 AM
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;
Journal_Title :
Automatic Control, IEEE Transactions on
