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 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,759 | Explaining Wrong Queries Using Small Examples | 2019 | SIGMOD | 6.5207388e-05 |
| 6,576 | Toward Interpretable and Actionable Data Analysis with Explanations and Causality | 2022 | VLDB | 5.8364729e-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.00059843817 |
| 806 | Provenance for Aggregate Queries | 2011 | PODS | 0.00013890398 |
| 910 | Cosette: An Automated Prover for SQL | 2017 | CIDR | 0.00013285905 |
| 4,759 | Explaining Wrong Queries Using Small Examples | 2019 | SIGMOD | 6.5207388e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 7,756 | Semantic Conformance Testing of Relational DBMS | 2025 | VLDB |
| 2 | 1,192 | Query From Examples: An Iterative, Data-Driven Approach to Query Construction | 2015 | VLDB |
| 3 | 4,196 | Automatic Example Queries for Ad Hoc Databases | 2011 | SIGMOD |
| 4 | 5,438 | PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns | 2021 | VLDB |
| 5 | 10,406 | Test Data Generation for Complex SQL Queries | 2026 | SIGMOD |
| 6 | 8,970 | Understanding Queries by Conditional Instances | 2022 | SIGMOD |
| 7 | 8,834 | Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries | 2024 | SIGMOD |
| 8 | 7,614 | I-Rex: An Interactive Relational Query Explainer for SQL | 2020 | VLDB |
| 9 | 5,113 | Test Data for Relational Queries (Extended abstract) | 1986 | PODS |
| 10 | 4,759 | Explaining Wrong Queries Using Small Examples | 2019 | SIGMOD |