RATest: Explaining Wrong Relational Queries Using Small Examples
Summary: RATest finds small counterexamples D' ⊆ D where Q(D') ≠ Q0(D'), enabling concise debugging of incorrect queries. Using data provenance and constraint solving, it handles differences and group-by at interactive speed in classroom regression-testing. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Zhengjie Miao (Duke University)
- 2. Sudeepa Roy (Duke University)
- 3. Jun Yang (Duke University)
BibTeX Citation
@inproceedings{miao_sigmod19,
title = {{RATest: Explaining Wrong Relational 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.3320236},
url = {https://dl.acm.org/doi/10.1145/3299869.3320236},
year = {2019}
}Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,847 | Explaining Wrong Queries Using Small Examples | 2019 | SIGMOD | 6.3823876e-05 |
| 6,699 | Toward Interpretable and Actionable Data Analysis with Explanations and Causality | 2022 | VLDB | 5.7058728e-05 |
| 10,966 | Qr-Hint: Formally Verified and AI-Explained SQL Tutoring | 2026 | VLDB | 4.9793485e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 17 | Provenance Semirings | 2007 | PODS | 0.00059752575 |
| 790 | Cosette: An Automated Prover for SQL | 2017 | CIDR | 0.00013976438 |
| 819 | Provenance for Aggregate Queries | 2011 | PODS | 0.00013666629 |
| 4,847 | Explaining Wrong Queries Using Small Examples | 2019 | SIGMOD | 6.3823876e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 1,211 | Query From Examples: An Iterative, Data-Driven Approach to Query Construction | 2015 | VLDB |
| 2 | 4,273 | Automatic Example Queries for Ad Hoc Databases | 2011 | SIGMOD |
| 3 | 5,520 | PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns | 2021 | VLDB |
| 4 | 7,638 | Test Data Generation for Complex SQL Queries | 2026 | SIGMOD |
| 5 | 9,061 | Understanding Queries by Conditional Instances | 2022 | SIGMOD |
| 6 | 8,972 | Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries | 2024 | SIGMOD |
| 7 | 10,966 | Qr-Hint: Formally Verified and AI-Explained SQL Tutoring | 2026 | VLDB |
| 8 | 7,746 | I-Rex: An Interactive Relational Query Explainer for SQL | 2020 | VLDB |
| 9 | 5,235 | Test Data for Relational Queries (Extended abstract) | 1986 | PODS |
| 10 | 4,847 | Explaining Wrong Queries Using Small Examples | 2019 | SIGMOD |