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
- 6439
- Venue
- SIGMOD
- Year
- 2022
- Pagerank
- 8.4729982e-05
- Overall Rank
- 2,596 | 81.95%
- 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,956 |
D-Bot: Database Diagnosis System using Large Language Models |
2024 |
VLDB |
9.960627e-05 |
| 3,472 |
LLM-R2: A Large Language Model Enhanced Rule-based Rewrite System for Boosting Query Efficiency |
2025 |
VLDB |
7.0639229e-05 |
| 4,388 |
Proving Query Equivalence Using Linear Integer Arithmetic |
2023 |
SIGMOD |
6.2303078e-05 |
| 5,023 |
GenRewrite: Query Rewriting via Large Language Models |
2026 |
SIGMOD |
5.75363e-05 |
| 5,525 |
QueryBooster: Improving SQL Performance Using Middleware Services for Human-Centered Query Rewriting |
2023 |
VLDB |
5.4600815e-05 |
| 6,379 |
A Unified and Efficient Coordinating Framework for Autonomous DBMS Tuning |
2023 |
SIGMOD |
5.0909479e-05 |
| 7,020 |
LLM for Data Management |
2024 |
VLDB |
4.8595728e-05 |
| 7,035 |
R-Bot: An LLM-based Query Rewrite System |
2025 |
VLDB |
4.8548467e-05 |
| 7,139 |
Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency |
2025 |
SIGMOD |
4.821174e-05 |
| 8,009 |
CAMAL: Optimizing LSM-trees via Active Learning |
2024 |
SIGMOD |
4.6066863e-05 |
| 8,345 |
SlabCity: Whole-Query Optimization using Program Synthesis |
2023 |
VLDB |
4.5426916e-05 |
| 8,645 |
Predicate Pushdown for Data Science Pipelines |
2023 |
SIGMOD |
4.4772518e-05 |
| 8,783 |
GEqO: ML-Accelerated Semantic Equivalence Detection |
2023 |
SIGMOD |
4.452825e-05 |
| 8,969 |
A Learned Query Rewrite System |
2023 |
VLDB |
4.4189226e-05 |
| 9,485 |
Spatial Query Optimization With Learning |
2024 |
VLDB |
4.3341665e-05 |
| 9,993 |
Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! |
2026 |
CIDR |
4.1945683e-05 |
| 10,475 |
Cracking SQL Barriers: An LLM-based Dialect Translation System |
2025 |
SIGMOD |
4.1945683e-05 |
| 10,568 |
QOVIS: Understanding and Diagnosing Query Optimizer via a Visualization-assisted Approach |
2025 |
VLDB |
4.1945683e-05 |
| 10,762 |
ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation |
2025 |
VLDB |
4.1945683e-05 |
| 10,778 |
GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB |
2025 |
VLDB |
4.1945683e-05 |
| 11,061 |
Optimizing Video Queries with Declarative Clues |
2024 |
VLDB |
4.1945683e-05 |
| 11,290 |
Demo of QueryBooster: Supporting Middleware-Based SQL Query Rewriting as a Service |
2023 |
VLDB |
4.1945683e-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.0007857786 |
| 106 |
Extensible/Rule Based Query Rewrite Optimization in Starburst |
1992 |
SIGMOD |
0.00048400734 |
| 132 |
The EXODUS Optimizer Generator |
1987 |
SIGMOD |
0.00042994082 |
| 182 |
LEO - DB2's LEarning Optimizer |
2001 |
VLDB |
0.00036962631 |
| 204 |
Learned Cardinalities: Estimating Correlated Joins with Deep Learning |
2019 |
CIDR |
0.00034784455 |
| 219 |
Grammar-like Functional Rules for Representing Query Optimization Alternatives |
1988 |
SIGMOD |
0.00033244259 |
| 333 |
Neo: A Learned Query Optimizer |
2019 |
VLDB |
0.00027206884 |
| 544 |
Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources |
2018 |
SIGMOD |
0.00020521965 |
| 990 |
Improved Unnesting Algorithms for Join Aggregate SQL Queries |
1992 |
VLDB |
0.00014809094 |
| 1,057 |
Cosette: An Automated Prover for SQL |
2017 |
CIDR |
0.0001439886 |
| 1,302 |
Query Optimization by Predicate Move-Around |
1994 |
VLDB |
0.00012705525 |
| 1,313 |
Cost-Based Optimization for Magic: Algebra and Implementation |
1996 |
SIGMOD |
0.0001263831 |
| 1,423 |
Magic is Relevant |
1990 |
SIGMOD |
0.00012054867 |
| 2,099 |
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries |
2018 |
VLDB |
9.5479391e-05 |
| 3,154 |
The MemSQL Query Optimizer: A modern optimizer for real-time analytics in a distributed database |
2016 |
VLDB |
7.4686089e-05 |
| 3,248 |
A Learned Query Rewrite System using Monte Carlo Tree Search |
2022 |
VLDB |
7.3258782e-05 |
| 3,409 |
SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns |
2020 |
SIGMOD |
7.1270252e-05 |
| 3,658 |
Towards a Hands-Free Query Optimizer through Deep Learning |
2019 |
CIDR |
6.8704209e-05 |
| 3,901 |
Automated Verification of Query Equivalence Using Satisfiability Modulo Theories |
2019 |
VLDB |
6.6499845e-05 |
| 4,148 |
A Formal Semantics of SQL Queries, Its Validation, and Applications |
2018 |
VLDB |
6.4079361e-05 |
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 6,554 |
Rule-Based Translation of Relational Queries into Iterative Programs |
1986 |
SIGMOD |
5.0155947e-05 |
| 5,525 |
QueryBooster: Improving SQL Performance Using Middleware Services for Human-Centered Query Rewriting |
2023 |
VLDB |
5.4600815e-05 |
| 13,105 |
OmniTune: A Universal Framework for Query Refinement via LLMs |
2025 |
SIGMOD |
- |
| 3,114 |
GPTuner: A Manual-Reading Database Tuning System via GPT-Guided Bayesian Optimization |
2024 |
VLDB |
7.5451724e-05 |
| 8,969 |
A Learned Query Rewrite System |
2023 |
VLDB |
4.4189226e-05 |
| 782 |
QTune: A Query-Aware Database Tuning System with Deep Reinforcement Learning |
2019 |
VLDB |
0.00016729063 |
| 5,023 |
GenRewrite: Query Rewriting via Large Language Models |
2026 |
SIGMOD |
5.75363e-05 |
| 11,120 |
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries |
2024 |
VLDB |
4.1945683e-05 |
| 3,284 |
Configuration-Parametric Query Optimization for Physical Design Tuning |
2008 |
SIGMOD |
7.2790444e-05 |
| 9,993 |
Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! |
2026 |
CIDR |
4.1945683e-05 |