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: 6153
Venue: SIGMOD
Year: 2021
Pagerank: 4.7764688e-05
Overall Rank: 7,283 | 49.34%
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,753	Rethinking Learned Cost Models: Why Start from Scratch?	2023	SIGMOD	4.660151e-05
7,854	dbET: Execution Time Distribution-based Plan Selection	2023	SIGMOD	4.6350172e-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
10,950	PLAQUE: Automated Predicate Learning at Query Time	2024	SIGMOD	4.1945683e-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.00032746205
329	Accelerating Machine Learning Inference with Probabilistic Predicates	2018	SIGMOD	0.00027249545
858	Efficient Transaction Processing in SAP HANA Database – The End of a Column Store Myth	2012	SIGMOD	0.000158756
880	Efficient Transitive Closure Algorithms	1988	VLDB	0.00015667998
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,582	Execution Strategies for SQL Subqueries	2007	SIGMOD	0.00011265079
2,837	Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies	2009	VLDB	8.0414149e-05
3,901	Automated Verification of Query Equivalence Using Satisfiability Modulo Theories	2019	VLDB	6.6499845e-05
3,922	Pushing Data-Induced Predicates Through Joins in Big-Data Clusters	2020	VLDB	6.6291079e-05
4,014	Exploiting Correlations for Expensive Predicate Evaluation	2015	SIGMOD	6.5273084e-05
4,407	Filtering with Approximate Predicates	1998	VLDB	6.2133426e-05
8,066	Optimizing Iceberg Queries with Complex Joins	2017	SIGMOD	4.5937212e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
5,371	LearnedSQLGen: Constraint-aware SQL Generation using Reinforcement Learning	2022	SIGMOD	5.5428776e-05
1,254	Selectivity Estimation for Range Predicates using Lightweight Models	2019	VLDB	0.00013027411
8,345	SlabCity: Whole-Query Optimization using Program Synthesis	2023	VLDB	4.5426916e-05
806	An End-to-End Learning-based Cost Estimator	2020	VLDB	0.00016434274
10,630	Conformal Prediction for Verifiable Learned Query Optimization	2025	VLDB	4.1945683e-05
8,969	A Learned Query Rewrite System	2023	VLDB	4.4189226e-05
10,950	PLAQUE: Automated Predicate Learning at Query Time	2024	SIGMOD	4.1945683e-05
6,374	Optimization of Conjunctive Predicates for Main Memory Column Stores	2016	VLDB	5.0927058e-05
2,860	Optimization of Queries with User-defined Predicates	1996	VLDB	7.9934503e-05
329	Accelerating Machine Learning Inference with Probabilistic Predicates	2018	SIGMOD	0.00027249545