Back to papers
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)
- Paper ID
- 6983
- Venue
- SIGMOD
- Year
- 2024
- Pagerank
- 4.1945683e-05
- Overall Rank
- 10,988 | 23.56%
- DOI
-
10.1145/3698810
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
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.
| Rank |
Cited Paper |
Year |
Venue |
Pagerank |
| 2 |
R-Trees: A Dynamic Index Structure For Spatial Searching |
1984 |
SIGMOD |
0.0032169493 |
| 6 |
The R*-tree: An Efficient and Robust Access Method for Points and Rectangles |
1990 |
SIGMOD |
0.0016162015 |
| 185 |
DuckDB: an Embeddable Analytical Database |
2019 |
SIGMOD |
0.00036538405 |
| 1,227 |
Elle: Inferring Isolation Anomalies from Experimental Observations |
2021 |
VLDB |
0.00013170695 |
| 1,435 |
Simba: Efficient In-Memory Spatial Analytics |
2016 |
SIGMOD |
0.00012004456 |
| 2,115 |
LISA: A Learned Index Structure for Spatial Data |
2020 |
SIGMOD |
9.5257379e-05 |
| 2,189 |
How Good Are Modern Spatial Analytics Systems? |
2018 |
VLDB |
9.335684e-05 |
| 2,891 |
APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems |
2020 |
VLDB |
7.954658e-05 |
| 4,503 |
Testing Graph Database Systems via Graph-Aware Metamorphic Relations |
2024 |
VLDB |
6.1349827e-05 |
| 4,780 |
TOUCH: In-Memory Spatial Join by Hierarchical Data-Oriented Partitioning |
2013 |
SIGMOD |
5.9263494e-05 |
| 5,572 |
The RLR-Tree: A Reinforcement Learning Based R-Tree for Spatial Data |
2023 |
SIGMOD |
5.4277273e-05 |
| 8,144 |
Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness |
2022 |
SIGMOD |
4.576288e-05 |
| 8,263 |
Raster Intervals: An Approximation Technique for Polygon Intersection Joins |
2023 |
SIGMOD |
4.5464722e-05 |
| 8,575 |
THERMAL-JOIN: A Scalable Spatial Join for Dynamic Workloads |
2015 |
SIGMOD |
4.4928872e-05 |
| 8,800 |
Efficient Black-box Checking of Snapshot Isolation in Databases |
2023 |
VLDB |
4.4486165e-05 |
| 9,569 |
Spatial Data Management for Computer-Aided Design |
2001 |
SIGMOD |
4.3254416e-05 |
Semantically Similar Papers