Back to papers
WeTune: Automatic Discovery and Verification of Query Rewrite Rules
Summary: WeTune automatically discovers rewrite rules by enumerating relational plans up to a size, proposing equivalent rewrites. SMT-based verifier checks equivalence under enumerated constraints; on GitHub-app SQL, 247 queries are optimized beyond standard DBs.
(summarized by gpt-5-nano on Feb 09 2026)
- Paper ID
- 6440
- Venue
- SIGMOD
- Year
- 2022
- Pagerank
- 8.4725961e-05
- Overall Rank
- 2,595 | 81.97%
- DOI
-
10.1145/3514221.3526125
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 22 of 22 citing papers.
| Rank |
Citing Paper |
Year |
Venue |
Pagerank |
| 1,953 |
D-Bot: Database Diagnosis System using Large Language Models |
2024 |
VLDB |
9.9701097e-05 |
| 3,465 |
LLM-R2: A Large Language Model Enhanced Rule-based Rewrite System for Boosting Query Efficiency |
2025 |
VLDB |
7.0668293e-05 |
| 4,385 |
Proving Query Equivalence Using Linear Integer Arithmetic |
2023 |
SIGMOD |
6.2247394e-05 |
| 5,001 |
GenRewrite: Query Rewriting via Large Language Models |
2026 |
SIGMOD |
5.7634197e-05 |
| 5,533 |
QueryBooster: Improving SQL Performance Using Middleware Services for Human-Centered Query Rewriting |
2023 |
VLDB |
5.4555519e-05 |
| 6,376 |
A Unified and Efficient Coordinating Framework for Autonomous DBMS Tuning |
2023 |
SIGMOD |
5.0861082e-05 |
| 7,016 |
LLM for Data Management |
2024 |
VLDB |
4.8561622e-05 |
| 7,030 |
R-Bot: An LLM-based Query Rewrite System |
2025 |
VLDB |
4.8518029e-05 |
| 7,137 |
Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency |
2025 |
SIGMOD |
4.8165495e-05 |
| 8,011 |
CAMAL: Optimizing LSM-trees via Active Learning |
2024 |
SIGMOD |
4.6022693e-05 |
| 8,339 |
SlabCity: Whole-Query Optimization using Program Synthesis |
2023 |
VLDB |
4.5383933e-05 |
| 8,625 |
Predicate Pushdown for Data Science Pipelines |
2023 |
SIGMOD |
4.4784651e-05 |
| 8,780 |
GEqO: ML-Accelerated Semantic Equivalence Detection |
2023 |
SIGMOD |
4.4485568e-05 |
| 8,975 |
A Learned Query Rewrite System |
2023 |
VLDB |
4.4146872e-05 |
| 9,487 |
Spatial Query Optimization With Learning |
2024 |
VLDB |
4.3300131e-05 |
| 9,992 |
Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! |
2026 |
CIDR |
4.1905499e-05 |
| 10,485 |
Cracking SQL Barriers: An LLM-based Dialect Translation System |
2025 |
SIGMOD |
4.1905499e-05 |
| 10,577 |
QOVIS: Understanding and Diagnosing Query Optimizer via a Visualization-assisted Approach |
2025 |
VLDB |
4.1905499e-05 |
| 10,768 |
ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation |
2025 |
VLDB |
4.1905499e-05 |
| 10,784 |
GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB |
2025 |
VLDB |
4.1905499e-05 |
| 11,064 |
Optimizing Video Queries with Declarative Clues |
2024 |
VLDB |
4.1905499e-05 |
| 11,292 |
Demo of QueryBooster: Supporting Middleware-Based SQL Query Rewriting as a Service |
2023 |
VLDB |
4.1905499e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 20 of 20 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 |
| 107 |
Extensible/Rule Based Query Rewrite Optimization in Starburst |
1992 |
SIGMOD |
0.00048363446 |
| 134 |
The EXODUS Optimizer Generator |
1987 |
SIGMOD |
0.00043070028 |
| 181 |
LEO - DB2's LEarning Optimizer |
2001 |
VLDB |
0.00036970794 |
| 203 |
Learned Cardinalities: Estimating Correlated Joins with Deep Learning |
2019 |
CIDR |
0.00034868567 |
| 220 |
Grammar-like Functional Rules for Representing Query Optimization Alternatives |
1988 |
SIGMOD |
0.00033312045 |
| 329 |
Neo: A Learned Query Optimizer |
2019 |
VLDB |
0.00027301488 |
| 542 |
Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources |
2018 |
SIGMOD |
0.00020522627 |
| 991 |
Improved Unnesting Algorithms for Join Aggregate SQL Queries |
1992 |
VLDB |
0.00014797083 |
| 1,056 |
Cosette: An Automated Prover for SQL |
2017 |
CIDR |
0.00014391317 |
| 1,303 |
Query Optimization by Predicate Move-Around |
1994 |
VLDB |
0.00012692678 |
| 1,313 |
Cost-Based Optimization for Magic: Algebra and Implementation |
1996 |
SIGMOD |
0.00012629432 |
| 1,423 |
Magic is Relevant |
1990 |
SIGMOD |
0.00012047765 |
| 2,097 |
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries |
2018 |
VLDB |
9.5439744e-05 |
| 3,150 |
The MemSQL Query Optimizer: A modern optimizer for real-time analytics in a distributed database |
2016 |
VLDB |
7.4765759e-05 |
| 3,241 |
A Learned Query Rewrite System using Monte Carlo Tree Search |
2022 |
VLDB |
7.32744e-05 |
| 3,411 |
SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns |
2020 |
SIGMOD |
7.1215953e-05 |
| 3,658 |
Towards a Hands-Free Query Optimizer through Deep Learning |
2019 |
CIDR |
6.8700949e-05 |
| 3,903 |
Automated Verification of Query Equivalence Using Satisfiability Modulo Theories |
2019 |
VLDB |
6.6439695e-05 |
| 4,150 |
A Formal Semantics of SQL Queries, Its Validation, and Applications |
2018 |
VLDB |
6.4022639e-05 |
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 6,550 |
Rule-Based Translation of Relational Queries into Iterative Programs |
1986 |
SIGMOD |
5.0113524e-05 |
| 5,533 |
QueryBooster: Improving SQL Performance Using Middleware Services for Human-Centered Query Rewriting |
2023 |
VLDB |
5.4555519e-05 |
| 13,119 |
OmniTune: A Universal Framework for Query Refinement via LLMs |
2025 |
SIGMOD |
- |
| 3,105 |
GPTuner: A Manual-Reading Database Tuning System via GPT-Guided Bayesian Optimization |
2024 |
VLDB |
7.5567226e-05 |
| 8,975 |
A Learned Query Rewrite System |
2023 |
VLDB |
4.4146872e-05 |
| 5,001 |
GenRewrite: Query Rewriting via Large Language Models |
2026 |
SIGMOD |
5.7634197e-05 |
| 779 |
QTune: A Query-Aware Database Tuning System with Deep Reinforcement Learning |
2019 |
VLDB |
0.00016719473 |
| 11,123 |
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries |
2024 |
VLDB |
4.1905499e-05 |
| 3,276 |
Configuration-Parametric Query Optimization for Physical Design Tuning |
2008 |
SIGMOD |
7.2880761e-05 |
| 9,992 |
Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! |
2026 |
CIDR |
4.1905499e-05 |