Asymptotically Better Query Optimization Using Indexed Algebra
Philipp Fent, Guido Moerkotte, Thomas Neumann
Abstract
Query optimization is essential for the efficient execution of queries. The necessary analysis, if we can and should apply optimizations and transform the query plan, is already challenging. Traditional techniques focus on the availability of columns at individual operators, which does not scale for analysis of data flow through the query. Tracking available columns per operator takes quadratic space, which can result in multi-second optimization time for deep algebra trees. Instead, we need to re-think the naïve algebra representation to efficiently support data flow analysis.
In this paper, we introduce Indexed Algebra , a novel representation of relational algebra that makes common optimization tasks efficient. Indexed Algebra enables efficient reasoning with an auxiliary index structure based on link/cut trees that support dynamic updates and queries in O (log n ). This approach not only improves the asymptotic complexity, but also allows elegant and concise formulations for the data flow questions needed for query optimization. While large queries see theoretically unbounded improvements, Indexed Algebra also improves optimization time of the relatively harmless queries of TPC-H and TPC-DS by more than 1.8×.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext fb9b36e4-d747-4592-8e93-84f6b401b262Cited by top-tier papers1
Ask how each one uses itBuilds on2
Related papers
- A Compiler for Fused Relational Operations on MultisetsJames Dong, Fredrik KjolstadPLDI 2026
- HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics QueriesRana Alotaibi, Bogdan Cautis, Alin Deutsch, Ioana ManolescuSIGMOD 2021 · 4 citations
- Efficient Execution of SPARQL Queries with OPTIONAL and UNION ExpressionsYue Pang, Lei Zou, M. Tamer Özsu, Jiaqi ChenICDE 2025
- Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program AnalysisGiovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai et al.OOPSLA 2023 · 12 citations
- Efficient Enumeration of Recursive Plans in Transformation-based Query OptimizersAmela Fejza, Pierre Genevès, Nabil LayaïdaVLDB 2024 · 4 citations
