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
- 5679
- Venue
- SIGMOD
- Year
- 2019
- Pagerank
- 5.3432106e-05
- Overall Rank
- 5,743 | 60.09%
- 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,839 |
Why Not Yet: Fixing a Top-k Ranking that Is Not Fair to Individuals |
2023 |
VLDB |
5.3073497e-05 |
| 6,565 |
Toward Interpretable and Actionable Data Analysis with Explanations and Causality |
2022 |
VLDB |
5.0033542e-05 |
| 8,339 |
SlabCity: Whole-Query Optimization using Program Synthesis |
2023 |
VLDB |
4.5383933e-05 |
| 8,958 |
Understanding Queries by Conditional Instances |
2022 |
SIGMOD |
4.417947e-05 |
| 9,151 |
The Power of Constraints in Natural Language to SQL Translation |
2025 |
VLDB |
4.380727e-05 |
| 9,623 |
Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries |
2024 |
SIGMOD |
4.3120302e-05 |
| 10,269 |
Database Views as Explanations for Relational Deep Learning |
2026 |
VLDB |
4.1905499e-05 |
| 10,371 |
Smallest Synthetic Witnesses for Conjunctive Queries |
2025 |
PODS |
4.1905499e-05 |
| 10,639 |
Is Integer Linear Programming All You Need for Deletion Propagation? |
2025 |
VLDB |
4.1905499e-05 |
| 10,768 |
ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation |
2025 |
VLDB |
4.1905499e-05 |
| 10,879 |
SDEcho: Efficient Explanation of Aggregated Sequence Difference |
2025 |
VLDB |
4.1905499e-05 |
| 11,123 |
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries |
2024 |
VLDB |
4.1905499e-05 |
| 11,671 |
RATest: Explaining Wrong Relational Queries Using Small Examples |
2019 |
SIGMOD |
4.1905499e-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.00078516827 |
| 213 |
Scorpion: Explaining Away Outliers in Aggregate Queries |
2013 |
VLDB |
0.0003371037 |
| 487 |
Why Not? |
2009 |
SIGMOD |
0.00022030123 |
| 653 |
On the Provenance of Non-Answers to Queries over Extracted Data |
2008 |
VLDB |
0.00018616975 |
| 943 |
A Formal Approach to Finding Explanations for Database Queries |
2014 |
SIGMOD |
0.00015140995 |
| 1,056 |
Cosette: An Automated Prover for SQL |
2017 |
CIDR |
0.00014391317 |
| 1,106 |
Provenance for Aggregate Queries |
2011 |
PODS |
0.00013976386 |
| 1,124 |
How to ConQueR Why-Not Questions |
2010 |
SIGMOD |
0.00013832959 |
| 1,868 |
Update Exchange with Mappings and Provenance |
2007 |
VLDB |
0.0001026365 |
| 2,035 |
Generating Example Data for Dataflow Programs |
2009 |
SIGMOD |
9.7131385e-05 |
| 2,105 |
Deciding Equivalences among Aggregate Queries |
1998 |
PODS |
9.5309231e-05 |
| 2,182 |
Querying Data Provenance |
2010 |
SIGMOD |
9.3596252e-05 |
| 2,259 |
ProvSQL: Provenance and Probability Management in PostgreSQL |
2018 |
VLDB |
9.1790333e-05 |
| 2,286 |
SMOKE: Fine-grained Lineage at Interactive Speed |
2018 |
VLDB |
9.102574e-05 |
| 2,565 |
Explaining Missing Answers to SPJUA Queries |
2010 |
VLDB |
8.5307653e-05 |
| 2,794 |
Artemis: A System for Analyzing Missing Answers |
2009 |
VLDB |
8.1164685e-05 |
| 9,298 |
Breathing Life into Database Textbooks |
2015 |
CIDR |
4.3571638e-05 |
| 11,671 |
RATest: Explaining Wrong Relational Queries Using Small Examples |
2019 |
SIGMOD |
4.1905499e-05 |
Semantically Similar Papers