Database Paper Browser

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

Authors

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
Previous Page 1 / 1 Next

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
Previous Page 1 / 1 Next

Semantically Similar Papers