DBScholar

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
7045
Venue
SIGMOD
Year
2024
Pagerank
5.2043672e-05
Overall Rank
9,871 | 32.28%
DOI
10.1145/3698810

Incoming Non-self Citations Over Time

Authors

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.

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.

Rank Cited Paper Year Venue Pagerank
2 R-Trees: A Dynamic Index Structure For Spatial Searching 1984 SIGMOD 0.0020210012
4 The R*-tree: An Efficient and Robust Access Method for Points and Rectangles 1990 SIGMOD 0.001157935
103 DuckDB: an Embeddable Analytical Database 2019 SIGMOD 0.00034161428
1,080 Elle: Inferring Isolation Anomalies from Experimental Observations 2021 VLDB 0.00012257972
1,175 Simba: Efficient In-Memory Spatial Analytics 2016 SIGMOD 0.00011812263
1,418 LISA: A Learned Index Structure for Spatial Data 2020 SIGMOD 0.00010835539
2,030 APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems 2020 VLDB 9.2841464e-05
2,732 How Good Are Modern Spatial Analytics Systems? 2018 VLDB 8.1934602e-05
4,129 Testing Graph Database Systems via Graph-Aware Metamorphic Relations 2024 VLDB 6.8840169e-05
4,751 The RLR-Tree: A Reinforcement Learning Based R-Tree for Spatial Data 2023 SIGMOD 6.5241784e-05
4,844 TOUCH: In-Memory Spatial Join by Hierarchical Data-Oriented Partitioning 2013 SIGMOD 6.4826356e-05
7,650 Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness 2022 SIGMOD 5.5755646e-05
8,061 Raster Intervals: An Approximation Technique for Polygon Intersection Joins 2023 SIGMOD 5.4953977e-05
8,499 THERMAL-JOIN: A Scalable Spatial Join for Dynamic Workloads 2015 SIGMOD 5.4133616e-05
8,715 Efficient Black-box Checking of Snapshot Isolation in Databases 2023 VLDB 5.3777365e-05
9,674 Spatial Data Management for Computer-Aided Design 2001 SIGMOD 5.2382017e-05
Previous Page 1 / 1 Next

Semantically Similar Papers