Extracting Equivalent SQL from Imperative Code in Database Applications

Summary: Holistic optimization derives algebraic D-IR representations of program variables in database apps and translates them into F-IR and SQL. Conditionals, loops, and aggregates from imperative code can be rewritten as SQL to reduce data movement and round trips. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 5118
Venue: SIGMOD
Year: 2016
Pagerank: 7.2527707e-05
Overall Rank: 3,298 | 77.09%
DOI: 10.1145/2882903.2882926

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 18 of 18 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,107	Froid: Optimization of Imperative Programs in a Relational Database	2018	VLDB	0.0001397627
2,242	Procedural Extensions of SQL: Understanding their usage in the wild	2021	VLDB	9.2124242e-05
2,955	Magpie: Python at Speed and Scale using Cloud Backends	2021	CIDR	7.8188583e-05
3,411	SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns	2020	SIGMOD	7.1215953e-05
3,649	One WITH RECURSIVE is Worth Many GOTOs	2021	SIGMOD	6.8764882e-05
4,645	Aggify: Lifting the Curse of Cursor Loops using Custom Aggregates	2020	SIGMOD	6.0190618e-05
4,676	Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications	2018	SIGMOD	5.9992323e-05
5,741	Babelfish: Efficient Execution of Polyglot Queries	2022	VLDB	5.3450701e-05
6,211	Snakes on a Plan: Compiling Python Functions into Plain SQL Queries	2022	SIGMOD	5.1503069e-05
6,245	Iterative Query Processing based on Unified Optimization Techniques	2019	SIGMOD	5.1341887e-05
6,646	Functional-Style SQL UDFs With a Capital 'F'	2020	SIGMOD	4.9734285e-05
6,694	WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications	2024	SIGMOD	4.9552327e-05
7,447	DBridge: Translating Imperative Code to SQL	2017	SIGMOD	4.7227748e-05
8,162	MONSOON: Multi-Step Optimization and Execution of Queries with Partially Obscured Predicates	2020	SIGMOD	4.5686903e-05
8,533	Translation of Array-Based Loops to Distributed Data-Parallel Programs	2020	VLDB	4.4893996e-05
8,580	Efficient Execution of User-Defined Functions in SQL Queries	2023	VLDB	4.4876382e-05
9,348	The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining	2025	VLDB	4.3504473e-05
9,883	SQL Engines Excel at the Execution of Imperative Programs	2024	VLDB	4.2594931e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
640	Orthogonal Optimization of Subqueries and Aggregation	2001	SIGMOD	0.00018780632
1,457	Rewriting Procedures for Batched Bindings	2008	VLDB	0.00011891025
1,575	Reverse Engineering Complex Join Queries	2013	SIGMOD	0.00011288804
3,380	Query Shredding: Efficient Relational Evaluation of Queries over Nested Multisets	2014	SIGMOD	7.1565855e-05
5,829	Holistic Optimization by Prefetching Query Results	2012	SIGMOD	5.310328e-05
6,477	Towards Unified Ad-hoc Data Processing	2014	SIGMOD	5.0408007e-05
6,810	AJAXSearch: Crawling, Indexing and Searching Web 2.0 Applications	2008	VLDB	4.9141649e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
418	Query Optimization in the Presence of Foreign Functions	1993	VLDB	0.0002372277
592	A Rule-Based View of Query Optimization	1987	SIGMOD	0.0001953183
1,754	Querying Multiple Features of Groups in Relational Databases	1996	VLDB	0.00010663123
1,107	Froid: Optimization of Imperative Programs in a Relational Database	2018	VLDB	0.0001397627
9,883	SQL Engines Excel at the Execution of Imperative Programs	2024	VLDB	4.2594931e-05
5,509	Translating and Optimizing SQL Queries Having Aggregates	1987	VLDB	5.4706803e-05
3,581	Translating Aggregate Queries into Iterative Programs	1986	VLDB	6.9455822e-05
7,447	DBridge: Translating Imperative Code to SQL	2017	SIGMOD	4.7227748e-05
12,856	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB	4.1905499e-05
6,550	Rule-Based Translation of Relational Queries into Iterative Programs	1986	SIGMOD	5.0113524e-05