paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Understanding Transaction Bugs in Database Systems

理解数据库系统中的事务 Bug
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10 · 该论文研究数据库事务处理机制中的真实缺陷,属于并发、测试与调试方向;它不涉及用户核心关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,与研究画像仅有较弱的程序可靠性关联。引用 9 inbox
Ziyu Cui, Wensheng Dou, Yu Gao, Dong Wang, Jiansen Song, Yingying Zheng, Tao Wang, Rui Yang, Kang Xu, Yixin Hu, Jun Wei, Tao Huang
crossref: 2026-09-12

AI 速览

一句话:通过实证研究理解数据库管理系统事务处理机制中的真实事务缺陷及其后果。

数据库管理系统依赖事务来保证数据一致性与完整性,但事务处理机制的错误设计与实现会引入事务缺陷,导致数据库状态不正确甚至 DBMS 崩溃。本文关注真实世界中的事务缺陷,旨在深入理解其表现形式、成因与影响,从而为检测、定位和修复 DBMS 事务缺陷提供依据。摘要主要阐述研究动机,强调事务缺陷可能造成严重后果,并指出系统性地理解真实事务缺陷能够显著推动相关对抗技术。由于给出的摘要未展开具体研究方法、数据来源与实验评估,本文的实际贡献应是以实证分析为核心,建立事务缺陷的分类与经验认识。

问题
DBMS 事务处理机制的错误设计与实现会引入事务缺陷,可能造成数据库状态错误或 DBMS 崩溃,因此需要深入理解真实事务缺陷。
方法
本文对真实世界中的事务缺陷开展实证理解与分析,但给出的摘要未展开具体数据来源、分类方法与分析流程。
评估
摘要未提供具体评估结果;其价值预期体现在为事务缺陷检测、定位与修复技术提供经验依据。
原文摘要(Abstract)

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.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@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}
}