Understanding Transaction Bugs in Database Systems
Read the paper · doi:10.1145/3597503.3639207
What this paper does with SQLancer
SQLancer is cited as the work on logic bugs in single SELECT statements, which the authors distinguish from the transaction bugs they collect: the boundary that defines their dataset.
The first comprehensive study of transaction bugs in DBMSs, based on 140 bugs collected from MySQL, PostgreSQL, SQLite, MariaDB, CockroachDB and TiDB. The authors examine how the bugs manifest, their root causes, their impact -- incorrect database states and crashes among them -- and how they were fixed, arguing that understanding real transaction bugs is what effective detection techniques must be built on.
How it was classified
uses infrastructure — no
SQLancer is cited, not used; nothing in the mentions describes reusing its code.
extends technique — no
No technique is extended; the citation is background.
compares with — no
No empirical comparison against SQLancer is reported in the mentions.
describes as state of the art — no
The citation does not characterise SQLancer as the state of the art.
SQLancer publications it cites (7)
Bibliography entries that resolved to a SQLancer publication, or to a paper by one of the project's authors. A sentence citing one of these numbers is a reference to SQLancer even when it never writes the name.
| # | Entry | Matched as |
|---|---|---|
| 34 | Jinsheng Ba and Manuel Rigger. 2023. Testing Database Engines via Query Plan Guidance. In Proceedings of International Conference on Software Engineering (ICSE). 2060–2071. | sqlancer publication · QPG |
| 52 | Zu-Ming Jiang, Si Liu, Manuel Rigger, and Zhendong Su. 2023. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. In Proceedings of USENIX Symposium on Operating Systems Design and Imp... | project authored |
| 55 | Matteo Kamm, Manuel Rigger, Chengyu Zhang, and Zhendong Su. 2023. Testing Graph Database Engines via Query Partitioning. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA). 140–149. | project authored |
| 64 | Manuel Rigger and Zhendong Su. 2020. Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction. In Proceedings of ACM Joint European Software Engineering Conference and Symposium... | sqlancer publication · NOREC |
| 65 | Manuel Rigger and Zhendong Su. 2020. Finding Bugs in Database Systems via Query Partitioning. Proceedings of the ACM on Programming Languages 4, OOPSLA (2020), 211:1–211:30. | sqlancer publication · TLP |
| 66 | Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 667–682. | sqlancer publication · PQS |
| 78 | Rui Zhong, Yongheng Chen, Hong Hu, Hangfan Zhang, Wenke Lee, and Dinghao Wu. 2020. SQUIRREL: Testing Database Management Systems with Language Validity and Coverage Feedback. In Proceedings of ACMSIGSAC Conference on ... | project authored |
Every place it refers to SQLancer (6)
6 sentences, each stored verbatim from the extracted text with where it was found and how. “Citation marker” means the sentence names no tool at all and was reached through a reference number that resolved to a SQLancer publication.
| Id | Sentence | Found by | Where |
|---|---|---|---|
| M1 | Some approaches have been proposed to verify and test transaction processing mechanisms in DBMSs [ 8,39,44,45,52,56,71]. |
citation marker project authored |
1 INTRODUCTION page 1 |
| M2 | , logic bugs in single SELECT statements [ 64–66]. |
citation marker |
3.2 Collecting TXBugs page 3 |
| M3 | Although many approaches have been proposed for DBMS testing [ 17,34,49, 51,54,55,59–61,64–68,73,74,77,78], there are only few works for transaction testing in DBMSs [ 44,45]. | citation marker | 9.2 Transaction Testing page 10 |
| M4 | Some techniques have been proposed to combat logic and crash bugs in DBMSs [ 17,34,49,51,54,55,59– 61,64–68,73,74,76–78]. | citation marker | 9.5 TXBug Diagnosis page 11 |
| M5 | SQLancer [ 64–66] detects logic bugs in single SELECT statements. | name | 9.5 TXBug Diagnosis page 11 |
| M6 | Squirrel [ 78] presents a fuzzing framework to find bugs in DBMSs. | citation marker project authored | 9.5 TXBug Diagnosis page 11 |