DESIGN OF TRANSACTION MANAGEMENT PROTOCOLS

Authors
KOZAK P WONHAM WM
Citation
P. Kozak et Wm. Wonham, DESIGN OF TRANSACTION MANAGEMENT PROTOCOLS, IEEE transactions on automatic control, 41(9), 1996, pp. 1330-1335
Citations number
7
Categorie Soggetti
Controlo Theory & Cybernetics","Robotics & Automatic Control","Engineering, Eletrical & Electronic
Journal title
IEEE transactions on automatic control → ACNP
ISSN journal
00189286
Volume
41
Issue
9
Year of publication
1996
Pages
1330 - 1335
Database
ISI
SICI code
0018-9286(1996)41:9<1330:DOTMP>2.0.ZU;2-C
Abstract
The paper shows how transaction management protocols can be designed u sing discrete-event system control theory. It outlines designs for som e 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 stand ard control problems, The results serve to unify the problems consider ed and suggest the possibility of computer-aided design.