Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 (1996)
Aug. 19, 1996 to Aug. 23, 1996
For real-time database systems, transaction processing must satisfy not only logical consistency constraints but also timing constraints. The 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. In this paper, we classify the consistency into six forms of consistency and propose a relaxed serializability, called statewise serializability, as the weakest form of consistency in our classification. The statewise serializability alleviates the strictness of serializability by allowing for 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.
S. Park and K. Lee, "Classification of Weak Correctness Criteria for Real-Time Database Applications," Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96(COMPSAC), Seoul, KOREA, 1996, pp. 0199.