kirancodes.me
To Proof Maintenance & Beyond!

Understanding Transaction Bugs in Database Systems

Ziyu Cui, Wensheng Dou, Yu Gao, Dong Wang, Jiansen Song, Yingying Zheng, Tao Wang, Rui Yang, Kang Xu, Yixin Hu, Jun Wei, Tao Huang

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.

BibTeX
@inproceedings{Cui-al:ICSE24,
  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},
  title     = {Understanding Transaction Bugs in Database Systems},
  booktitle = {ICSE},
  pages     = {163:1--163:13},
  publisher = {{ACM}},
  year      = {2024},
}

Related papers