Detecting Data-Type-Related Logic Bugs in Relational DBMSs via Compatible Database Construction
Summary: TypeCheck differentially tests type conversions by constructing databases with storage-compatible types and comparing type-compatible SELECT results. Evaluated across six DBMSs, it found 37 TypeBugs, including 34 previously unknown. (summarized by gpt-5.6-luna on Aug 28 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Jiansen Song (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
- 2. Wensheng Dou (Institute of Software, Chinese Academy of Sciences; Nanjing Institute of Software Technology, University of Chinese Academy of Sciences; University of Chinese Academy of Sciences)
- 3. Yingying Zheng (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
- 4. Yu Gao (Institute of Software, Chinese Academy of Sciences; Nanjing Institute of Software Technology, University of Chinese Academy of Sciences; University of Chinese Academy of Sciences)
- 5. Quanqing Xu (OceanBase, Ant Group)
- 6. Ziyu Cui (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
- 7. Xudong Xie (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
- 8. Hongtao Zhou (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
- 9. Jiaying Zhou (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
- 10. Jun Wei (Institute of Software, Chinese Academy of Sciences; Nanjing Institute of Software Technology, University of Chinese Academy of Sciences; University of Chinese Academy of Sciences)
- 11. Wei Wang (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
BibTeX Citation
@article{song_vldb26,
title = {{Detecting Data-Type-Related Logic Bugs in Relational DBMSs via Compatible Database Construction}},
author = {Song, Jiansen and Dou, Wensheng and Zheng, Yingying and Gao, Yu and Xu, Quanqing and Cui, Ziyu and Xie, Xudong and Zhou, Hongtao and Zhou, Jiaying and Wei, Jun and Wang, Wei},
journal = {PVLDB},
series = {{VLDB} '26},
volume = {19},
number = {11},
pages = {3440--3453},
doi = {10.14778/3836663.3836700},
url = {https://doi.org/10.14778/3836663.3836700},
year = {2026}
}Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 14 of 14 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 10,664 | One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing | 2026 | SIGMOD |
| 2 | 10,434 | Detecting Join Bugs in Database Engines via Join Implication Reasoning | 2026 | SIGMOD |
| 3 | 8,615 | A Demonstration of DLBD: Database Logic Bug Detection System | 2023 | VLDB |
| 4 | 6,100 | Constant Optimization Driven Database System Testing | 2025 | SIGMOD |
| 5 | 9,218 | EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction | 2026 | SIGMOD |
| 6 | 1,928 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD |
| 7 | 5,054 | Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction | 2024 | VLDB |
| 8 | 7,919 | Semantic Conformance Testing of Relational DBMS | 2025 | VLDB |
| 9 | 10,559 | Detecting Logic Bugs in DBMSs via Equivalent Data Construction | 2026 | SIGMOD |
| 10 | 9,403 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB |