Classification of Weak Correctness Criteria for Real-Time Database Applications

  • Authors:
  • Kyuwoong Lee;Seog Park

  • Affiliations:
  • -;-

  • Venue:
  • COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.