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 15 of 15 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 | 2,069 | Generating Targeted Queries for Database Testing | 2008 | SIGMOD |
| 2 | 5,113 | Test Data for Relational Queries (Extended abstract) | 1986 | PODS |
| 3 | 663 | A Formal Approach to Finding Explanations for Database Queries | 2014 | SIGMOD |
| 4 | 856 | How to ConQueR Why-Not Questions | 2010 | SIGMOD |
| 5 | 11,326 | Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries | 2024 | VLDB |
| 6 | 10,406 | Test Data Generation for Complex SQL Queries | 2026 | SIGMOD |
| 7 | 8,970 | Understanding Queries by Conditional Instances | 2022 | SIGMOD |
| 8 | 5,677 | Making SQL Queries Correct on Incomplete Databases: A Feasibility Study | 2016 | PODS |
| 9 | 8,834 | Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries | 2024 | SIGMOD |
| 10 | 11,861 | RATest: Explaining Wrong Relational Queries Using Small Examples | 2019 | SIGMOD |