Sia: Optimizing Queries using Learned Predicates

Summary: counter-examples and SMT-based verification to learn predicates with guaranteed semantics and controllable column sets, enabling broader predicate-centric rewrites. On 200 TPC-H queries, SIA rewrites 114 and yields >2x speedups in 66 cases. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 6154
Venue: SIGMOD
Year: 2021
Pagerank: 4.7720613e-05
Overall Rank: 7,278 | 49.42%
DOI: 10.1145/3448016.3457262

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 5 of 5 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
7,742	Rethinking Learned Cost Models: Why Start from Scratch?	2023	SIGMOD	4.6585812e-05
7,854	dbET: Execution Time Distribution-based Plan Selection	2023	SIGMOD	4.6306186e-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
10,953	PLAQUE: Automated Predicate Learning at Query Time	2024	SIGMOD	4.1905499e-05

Outgoing Citations (Sorted by Pagerank)

Showing 14 of 14 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
224	CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies	2004	SIGMOD	0.00032743209
332	Accelerating Machine Learning Inference with Probabilistic Predicates	2018	SIGMOD	0.00027173479
857	Efficient Transaction Processing in SAP HANA Database – The End of a Column Store Myth	2012	SIGMOD	0.00015840492
885	Efficient Transitive Closure Algorithms	1988	VLDB	0.00015565543
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,581	Execution Strategies for SQL Subqueries	2007	SIGMOD	0.00011262795
2,841	Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies	2009	VLDB	8.0396876e-05
3,903	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB	6.6439695e-05
3,923	Pushing Data-Induced Predicates Through Joins in Big-Data Clusters	2020	VLDB	6.6232068e-05
4,022	Exploiting Correlations for Expensive Predicate Evaluation	2015	SIGMOD	6.5185189e-05
4,405	Filtering with Approximate Predicates	1998	VLDB	6.2048285e-05
8,070	Optimizing Iceberg Queries with Complex Joins	2017	SIGMOD	4.5893281e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
5,289	LearnedSQLGen: Constraint-aware SQL Generation using Reinforcement Learning	2022	SIGMOD	5.5790771e-05
1,239	Selectivity Estimation for Range Predicates using Lightweight Models	2019	VLDB	0.00013091459
8,339	SlabCity: Whole-Query Optimization using Program Synthesis	2023	VLDB	4.5383933e-05
10,638	Conformal Prediction for Verifiable Learned Query Optimization	2025	VLDB	4.1905499e-05
804	An End-to-End Learning-based Cost Estimator	2020	VLDB	0.0001643674
8,975	A Learned Query Rewrite System	2023	VLDB	4.4146872e-05
10,953	PLAQUE: Automated Predicate Learning at Query Time	2024	SIGMOD	4.1905499e-05
6,372	Optimization of Conjunctive Predicates for Main Memory Column Stores	2016	VLDB	5.0878306e-05
2,867	Optimization of Queries with User-defined Predicates	1996	VLDB	7.9931252e-05
332	Accelerating Machine Learning Inference with Probabilistic Predicates	2018	SIGMOD	0.00027173479