Coo: Consistency Check for Transactional Databases
Haixiang Li, Yuxing Chen, Xiaoyan Li

TL;DR
Coo is a framework that efficiently checks database consistency by modeling transaction conflicts with a novel partial order graph, revealing inconsistencies and implementation gaps across various database systems.
Contribution
The paper introduces the POP graph for better conflict modeling and provides a cost-effective, SQL-based method for comprehensive consistency verification in databases.
Findings
Databases often violate ANSI SQL consistency standards.
Different databases exhibit varied behaviors under the same isolation levels.
Coo uncovers detailed inconsistent behaviors missed by traditional checks.
Abstract
In modern databases, transaction processing technology provides ACID (Atomicity, Consistency, Isolation, Durability) features. Consistency refers to the correctness of databases and is a crucial property for many applications, such as financial and banking services. However, there exist typical challenges for consistency. Theoretically, the current two definitions of consistency express quite different meanings, which are causal and sometimes controversial. Practically, it is notorious to check the consistency of databases, especially in terms of the verification cost. This paper proposes Coo, a framework to check the consistency of databases. Specifically, Coo has the following advancements. First, Coo proposes partial order pair (POP) graph, which has a better expressiveness on transaction conflicts in a schedule by considering stateful information like Commit and Abort. By POP graph…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Software System Performance and Reliability · Cloud Computing and Resource Management
