一句话:通过实证研究理解数据库管理系统事务处理机制中的真实事务缺陷及其后果。
数据库管理系统依赖事务来保证数据一致性与完整性,但事务处理机制的错误设计与实现会引入事务缺陷,导致数据库状态不正确甚至 DBMS 崩溃。本文关注真实世界中的事务缺陷,旨在深入理解其表现形式、成因与影响,从而为检测、定位和修复 DBMS 事务缺陷提供依据。摘要主要阐述研究动机,强调事务缺陷可能造成严重后果,并指出系统性地理解真实事务缺陷能够显著推动相关对抗技术。由于给出的摘要未展开具体研究方法、数据来源与实验评估,本文的实际贡献应是以实证分析为核心,建立事务缺陷的分类与经验认识。
Transactions are used to guarantee data consistency and integrity in Database Management Systems (DBMSs), and have become an indispensable component in DBMSs. However, faulty designs and implementations of DBMSs' transaction processing mechanisms can introduce transaction bugs, and lead to severe consequences, e.g., incorrect database states and DBMS crashes. An in-depth understanding of real-world transaction bugs can significantly promote effective techniques in combating transaction bugs in DBMSs.
@inproceedings{paperbot11386,
title = {Understanding Transaction Bugs in Database Systems},
author = {Ziyu Cui and Wensheng Dou and Yu Gao and Dong Wang and Jiansen Song and Yingying Zheng and Tao Wang and Rui Yang and Kang Xu and Yixin Hu and Jun Wei and Tao Huang},
booktitle = {ICSE},
year = {2024},
doi = {10.1145/3597503.3639207}
}