DocumentCode
2601708
Title
How to get serializability for real-time transactions without having to pay for it
Author
Graham, Marc H.
Author_Institution
Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
fYear
1993
fDate
1-3 Dec 1993
Firstpage
56
Lastpage
65
Abstract
A new approach to the problem of achieving serializability for real-time transaction systems is presented. It is shown that certain properties that have been claimed to be characteristic of real-time systems are sufficient in themselves to guarantee that the system will run serializably, without any extra effort having to be taken. These systems can be said to achieve serializability “for free.”
Keywords
concurrency control; database management systems; real-time systems; transaction processing; guarantee; real-time transaction systems; real-time transactions; serializability; Access control; Control systems; Costs; Data analysis; Interleaved codes; Logic; Real time systems; Software engineering; Space shuttles; Space stations;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems Symposium, 1993., Proceedings.
Conference_Location
Raleigh Durham, NC
Print_ISBN
0-8186-4480-X
Type
conf
DOI
10.1109/REAL.1993.393515
Filename
393515
Link To Document