Modeling and analysis of transaction execution in database systems
- 1 May 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 33 (5) , 439-447
- https://doi.org/10.1109/9.1222
Abstract
The controlled-generator model of P.J. Ramadge and W.M. Wonham (1988) is used to formulate the concurrent execution of transactions in database systems as a control problem for a partially observed discrete-event dynamical system. The control objectives of this problem (for concurrency control and recovery) and the properties of some important transaction scheduling techniques are characterized in terms of the language generated by the controlled process and in terms of the stage of an ideal complete-information scheduler. Results about the performance of these techniques are presented.Keywords
This publication has 14 references indexed in Scilit:
- Modular supervisory control of discrete-event systemsMathematics of Control, Signals, and Systems, 1988
- Stability of a Queueing System with Concurrent Service and LockingSIAM Journal on Computing, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Modeling and control of discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Observability of discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- A state model for the concurrency control problem in database management systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Models for studying concurrency control performancePublished by Association for Computing Machinery (ACM) ,1985
- Probabilistic Models of Database LockingJournal of the ACM, 1984
- Concurrency control for resilient nested transactionsPublished by Association for Computing Machinery (ACM) ,1983
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976