1 citations · 2 across the 4 of their papers we have counts for
5 papers
Efficient Black-box Checking of Snapshot Isolation in Databases
Kaile Huang, Si Liu, Zhenge Chen +4
Snapshot isolation (SI) is a prevalent weak isolation level that avoids the performance penalty imposed by serializability and simultaneously prevents various undesired data anomal…
Coo: Consistency Check for Transactional Databases
Haixiang Li, Yuxing Chen, Xiaoyan Li
In modern databases, transaction processing technology provides ACID (Atomicity, Consistency, Isolation, Durability) features. Consistency refers to the correctness of databases an…
Verifying Transactional Consistency of MongoDB
Hongrong Ouyang, Hengfeng Wei, Yu Huang +2
MongoDB is a popular general-purpose, document-oriented, distributed NoSQL database. It supports transactions in three different deployments: single-document transactions utilizing…
Coo: Rethink Data Anomalies In Databases
Haixiang Li, Xiaoyan Li, Yuxing Chen +5
Transaction processing technology has three important contents: data anomalies, isolation levels, and concurrent control algorithms. Concurrent control algorithms are used to elimi…
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol
Kaile Huang, Hengfeng Wei, Yu Huang +2
Causal consistency is a widely used weak consistency model that allows high availability despite network partitions. There are plenty of research prototypes and industrial deployme…