1 citations · 1 across the 11 of their papers we have counts for
13 papers
Efficient Query Rewrite Rule Discovery via Standardized Enumeration and Learning-to-Rank(extend)
Yuan Zhang, Yuxing Chen, Yuekun Yu +5
Query rewriting is essential for database performance optimization, but existing automated rule enumeration methods suffer from exponential search spaces, severe redundancy, and po…
Fast Verification of Strong Database Isolation (Extended Version)
Zhiheng Cai, Si Liu, Hengfeng Wei +2
Strong isolation guarantees, such as serializability and snapshot isolation, are essential for maintaining data consistency and integrity in modern databases. Verifying whether a d…
TXSQL: Lock Optimizations Towards High Contented Workloads (Extended Version)
Donghui Wang, Yuxing Chen, Chengyao Jiang +10
Two-phase locking (2PL) is a fundamental and widely used concurrency control protocol. It regulates concurrent access to database data by following a specific sequence of acquiring…
Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
Hengfeng Wei, Jiang Xiao, Na Yang +4
Transactional isolation guarantees are crucial for database correctness. However, recent studies have uncovered numerous isolation bugs in production databases. The common black-bo…
Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)
Hexu Li, Hengfeng Wei, Hongrong Ouyang +4
Serializability (SER) and snapshot isolation (SI) are widely used transactional isolation levels in database systems. The isolation checking problem asks whether a given execution…
TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection
Qiyu Zhuang, Wei Lu, Shuang Liu +6
Achieving the serializable isolation level, regarded as the gold standard for transaction processing, is costly. Recent studies reveal that adjusting specific query patterns within…
GeoTP: Latency-aware Geo-Distributed Transaction Processing in Database Middlewares (Extended Version)
Qiyu Zhuang, Xinyue Shi, Shuang Liu +6
The widespread adoption of database middleware for supporting distributed transaction processing is prevalent in numerous applications, with heterogeneous data sources deployed acr…
Lion: Minimizing Distributed Transactions through Adaptive Replica Provision (Extended Version)
Qiushi Zheng, Zhanhao Zhao, Wei Lu +4
Distributed transaction processing often involves multiple rounds of cross-node communications, and therefore tends to be slow. To improve performance, existing approaches convert…
SALI: A Scalable Adaptive Learned Index Framework based on Probability Models
Jiake Ge, Huanchen Zhang, Boyu Shi +5
The growth in data storage capacity and the increasing demands for high performance have created several challenges for concurrent indexing structures. One promising solution is le…
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…
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…