Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
Summary: Spatter, a geometry-aware input generator for SDBMS testing, introduces Affine Equivalent Inputs (AEI) to validate spatial SQL results. Applied to PostGIS, DuckDB Spatial, MySQL, and SQL Server, it finds 34 unique bugs (30 confirmed, 18 fixed); AEI detects 14 logic bugs missed by prior methods and outperforms naive shape-based input generation. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Wenjing Deng (East China Normal University)
- 2. Qiuyang Mang (Chinese University of Hong Kong)
- 3. Chengyu Zhang (ETH Zurich)
- 4. Manuel Rigger (National University of Singapore)
BibTeX Citation
@inproceedings{deng_sigmod24,
title = {{Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs}},
author = {Deng, Wenjing and Mang, Qiuyang and Zhang, Chengyu and Rigger, Manuel},
series = {{SIGMOD} '24},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/3698810},
url = {https://dl.acm.org/doi/10.1145/3698810},
year = {2024}
}
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,866 | Finding Logic Bugs in Graph-processing Systems via Graph-cutting | 2025 | SIGMOD | 5.2043672e-05 |
| 10,199 | Automated Discovery of Test Oracles for Database Management Systems Using LLMs | 2026 | SIGMOD | 5.093636e-05 |
| 10,216 | DBugScribe: Automatic Database Bug Reproduction from Community Reports | 2026 | SIGMOD | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 16 of 16 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,235 | EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction | 2026 | SIGMOD |
| 2 | 10,402 | SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis | 2026 | SIGMOD |
| 3 | 1,473 | Towards a Theory of Spatial Database Queries (Extended Abstract) | 1994 | PODS |
| 4 | 96 | Spatial Query Processing in an Object-Oriented Database System | 1986 | SIGMOD |
| 5 | 5,429 | Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction | 2024 | VLDB |
| 6 | 9,227 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB |
| 7 | 3,703 | Approximation Techniques for Spatial Data | 2004 | SIGMOD |
| 8 | 2,044 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD |
| 9 | 8,482 | A Demonstration of DLBD: Database Logic Bug Detection System | 2023 | VLDB |
| 10 | 10,358 | Detecting Logic Bugs in DBMSs via Equivalent Data Construction | 2026 | SIGMOD |