Back to papers
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)
- Paper ID
- 5678
- Venue
- SIGMOD
- Year
- 2019
- Pagerank
- 5.3483446e-05
- Overall Rank
- 5,733 | 60.12%
- DOI
-
10.1145/3299869.3319866
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 13 of 13 citing papers.
| Rank |
Citing Paper |
Year |
Venue |
Pagerank |
| 5,826 |
Why Not Yet: Fixing a Top-k Ranking that Is Not Fair to Individuals |
2023 |
VLDB |
5.3124507e-05 |
| 6,565 |
Toward Interpretable and Actionable Data Analysis with Explanations and Causality |
2022 |
VLDB |
5.0081626e-05 |
| 8,345 |
SlabCity: Whole-Query Optimization using Program Synthesis |
2023 |
VLDB |
4.5426916e-05 |
| 8,954 |
Understanding Queries by Conditional Instances |
2022 |
SIGMOD |
4.4221863e-05 |
| 9,151 |
The Power of Constraints in Natural Language to SQL Translation |
2025 |
VLDB |
4.3849295e-05 |
| 9,623 |
Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries |
2024 |
SIGMOD |
4.3161663e-05 |
| 10,269 |
Database Views as Explanations for Relational Deep Learning |
2026 |
VLDB |
4.1945683e-05 |
| 10,359 |
Smallest Synthetic Witnesses for Conjunctive Queries |
2025 |
PODS |
4.1945683e-05 |
| 10,631 |
Is Integer Linear Programming All You Need for Deletion Propagation? |
2025 |
VLDB |
4.1945683e-05 |
| 10,762 |
ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation |
2025 |
VLDB |
4.1945683e-05 |
| 10,875 |
SDEcho: Efficient Explanation of Aggregated Sequence Difference |
2025 |
VLDB |
4.1945683e-05 |
| 11,120 |
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries |
2024 |
VLDB |
4.1945683e-05 |
| 11,666 |
RATest: Explaining Wrong Relational Queries Using Small Examples |
2019 |
SIGMOD |
4.1945683e-05 |
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.
| Rank |
Cited Paper |
Year |
Venue |
Pagerank |
| 31 |
Provenance Semirings |
2007 |
PODS |
0.0007857786 |
| 214 |
Scorpion: Explaining Away Outliers in Aggregate Queries |
2013 |
VLDB |
0.0003363692 |
| 487 |
Why Not? |
2009 |
SIGMOD |
0.00022050218 |
| 652 |
On the Provenance of Non-Answers to Queries over Extracted Data |
2008 |
VLDB |
0.00018634477 |
| 942 |
A Formal Approach to Finding Explanations for Database Queries |
2014 |
SIGMOD |
0.00015155714 |
| 1,057 |
Cosette: An Automated Prover for SQL |
2017 |
CIDR |
0.0001439886 |
| 1,106 |
Provenance for Aggregate Queries |
2011 |
PODS |
0.0001398766 |
| 1,125 |
How to ConQueR Why-Not Questions |
2010 |
SIGMOD |
0.00013845652 |
| 1,866 |
Update Exchange with Mappings and Provenance |
2007 |
VLDB |
0.00010272139 |
| 2,035 |
Generating Example Data for Dataflow Programs |
2009 |
SIGMOD |
9.7149269e-05 |
| 2,103 |
Deciding Equivalences among Aggregate Queries |
1998 |
PODS |
9.5385023e-05 |
| 2,173 |
Querying Data Provenance |
2010 |
SIGMOD |
9.3676609e-05 |
| 2,256 |
ProvSQL: Provenance and Probability Management in PostgreSQL |
2018 |
VLDB |
9.1879032e-05 |
| 2,280 |
SMOKE: Fine-grained Lineage at Interactive Speed |
2018 |
VLDB |
9.1111033e-05 |
| 2,562 |
Explaining Missing Answers to SPJUA Queries |
2010 |
VLDB |
8.5386194e-05 |
| 2,790 |
Artemis: A System for Analyzing Missing Answers |
2009 |
VLDB |
8.1239026e-05 |
| 9,293 |
Breathing Life into Database Textbooks |
2015 |
CIDR |
4.3613443e-05 |
| 11,666 |
RATest: Explaining Wrong Relational Queries Using Small Examples |
2019 |
SIGMOD |
4.1945683e-05 |
Semantically Similar Papers