DocumentCode :
1996097
Title :
Classification of weak correctness criteria for real-time database applications
Author :
Lee, Kyuwoong ; Park, Seog
Author_Institution :
Dept. of Comput. Sci., Sogang Univ., Seoul, South Korea
fYear :
1996
fDate :
21-23 Aug 1996
Firstpage :
199
Lastpage :
204
Abstract :
For real-time database systems, transaction processing must satisfy not only logical consistency constraints but also timing constraints. Conflict serializability is too restrictive to achieve the acceptable throughput and predictable response time. Moreover, serializability may not be necessary for concurrent execution and different correctness criteria may be applied to different applications depending on the semantics and the requirements of transactions. We classify the consistency into six forms and propose a relaxed serializability, called statewise serializability, as the weakest form of consistency in our classification. Statewise serializability alleviates the strictness of serializability by allowing for a controlled inconsistent read operation. It can be properly used as a correctness criterion in real-time database applications. We also present the algorithm that determines whether the schedules are statewise serializable, and compare it to other correctness criteria
Keywords :
concurrency control; real-time systems; timing; transaction processing; algorithm; concurrent execution; conflict serializability; controlled inconsistent read operation; logical consistency constraints; real-time database applications; relaxed serializability; schedules; semantics; statewise serializability; timing constraints; transaction processing; weak correctness criteria classification; Database systems; Delay; Job shop scheduling; Real time systems; Robots; Scheduling algorithm; Sparks; Throughput; Timing; Transaction databases;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International
Conference_Location :
Seoul
ISSN :
0730-3157
Print_ISBN :
0-8186-7579-9
Type :
conf
DOI :
10.1109/CMPSAC.1996.544163
Filename :
544163
Link To Document :
بازگشت