Explaining Wrong Queries Using Small Examples
Summary: From a known counterexample D for Q1 vs Q2, identifies the smallest D' ⊆ D with Q1(D') ≠ Q2(D'). Provenance- and constraint-solving–based algorithms cover negation and aggregation; evaluated on TPC-H and student queries, with a teaching user study. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Zhengjie Miao (Duke University)
- 2. Sudeepa Roy (Duke University)
- 3. Jun Yang (Duke University)
BibTeX Citation
@inproceedings{miao_sigmod19,
title = {{Explaining Wrong Queries Using Small Examples}},
author = {Miao, Zhengjie and Roy, Sudeepa and Yang, Jun},
series = {{SIGMOD} '19},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/3299869.3319866},
url = {https://dl.acm.org/doi/10.1145/3299869.3319866},
year = {2019}
}Incoming Citations (Sorted by Pagerank)
Showing 16 of 16 citing papers.
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 18 of 18 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 | 1,890 | Generating Targeted Queries for Database Testing | 2008 | SIGMOD |
| 2 | 5,235 | Test Data for Relational Queries (Extended abstract) | 1986 | PODS |
| 3 | 670 | A Formal Approach to Finding Explanations for Database Queries | 2014 | SIGMOD |
| 4 | 791 | How to ConQueR Why-Not Questions | 2010 | SIGMOD |
| 5 | 11,644 | Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries | 2024 | VLDB |
| 6 | 7,638 | Test Data Generation for Complex SQL Queries | 2026 | SIGMOD |
| 7 | 9,061 | Understanding Queries by Conditional Instances | 2022 | SIGMOD |
| 8 | 5,802 | Making SQL Queries Correct on Incomplete Databases: A Feasibility Study | 2016 | PODS |
| 9 | 8,972 | Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries | 2024 | SIGMOD |
| 10 | 12,161 | RATest: Explaining Wrong Relational Queries Using Small Examples | 2019 | SIGMOD |