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: 5117
Venue: SIGMOD
Year: 2016
Pagerank: 7.2596583e-05
Overall Rank: 3,296 | 77.08%
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,108	Froid: Optimization of Imperative Programs in a Relational Database	2018	VLDB	0.00013984276
2,237	Procedural Extensions of SQL: Understanding their usage in the wild	2021	VLDB	9.2212748e-05
2,954	Magpie: Python at Speed and Scale using Cloud Backends	2021	CIDR	7.8262582e-05
3,409	SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns	2020	SIGMOD	7.1270252e-05
3,648	One WITH RECURSIVE is Worth Many GOTOs	2021	SIGMOD	6.8831123e-05
4,648	Aggify: Lifting the Curse of Cursor Loops using Custom Aggregates	2020	SIGMOD	6.0247446e-05
4,677	Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications	2018	SIGMOD	6.0047822e-05
5,731	Babelfish: Efficient Execution of Polyglot Queries	2022	VLDB	5.3502065e-05
6,212	Snakes on a Plan: Compiling Python Functions into Plain SQL Queries	2022	SIGMOD	5.1552576e-05
6,245	Iterative Query Processing based on Unified Optimization Techniques	2019	SIGMOD	5.1391202e-05
6,645	Functional-Style SQL UDFs With a Capital 'F'	2020	SIGMOD	4.978205e-05
6,692	WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications	2024	SIGMOD	4.9599916e-05
7,448	DBridge: Translating Imperative Code to SQL	2017	SIGMOD	4.7273104e-05
8,158	MONSOON: Multi-Step Optimization and Execution of Queries with Partially Obscured Predicates	2020	SIGMOD	4.5730772e-05
8,534	Translation of Array-Based Loops to Distributed Data-Parallel Programs	2020	VLDB	4.4937074e-05
8,583	Efficient Execution of User-Defined Functions in SQL Queries	2023	VLDB	4.4919445e-05
9,343	The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining	2025	VLDB	4.3546206e-05
9,884	SQL Engines Excel at the Execution of Imperative Programs	2024	VLDB	4.2635782e-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
639	Orthogonal Optimization of Subqueries and Aggregation	2001	SIGMOD	0.00018791492
1,456	Rewriting Procedures for Batched Bindings	2008	VLDB	0.00011899772
1,572	Reverse Engineering Complex Join Queries	2013	SIGMOD	0.00011298251
3,375	Query Shredding: Efficient Relational Evaluation of Queries over Nested Multisets	2014	SIGMOD	7.1633324e-05
5,818	Holistic Optimization by Prefetching Query Results	2012	SIGMOD	5.3154373e-05
6,483	Towards Unified Ad-hoc Data Processing	2014	SIGMOD	5.0456397e-05
6,812	AJAXSearch: Crawling, Indexing and Searching Web 2.0 Applications	2008	VLDB	4.918883e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
421	Query Optimization in the Presence of Foreign Functions	1993	VLDB	0.00023711553
594	A Rule-Based View of Query Optimization	1987	SIGMOD	0.00019534507
1,754	Querying Multiple Features of Groups in Relational Databases	1996	VLDB	0.00010670609
1,108	Froid: Optimization of Imperative Programs in a Relational Database	2018	VLDB	0.00013984276
9,884	SQL Engines Excel at the Execution of Imperative Programs	2024	VLDB	4.2635782e-05
5,498	Translating and Optimizing SQL Queries Having Aggregates	1987	VLDB	5.4750555e-05
3,577	Translating Aggregate Queries into Iterative Programs	1986	VLDB	6.9504079e-05
7,448	DBridge: Translating Imperative Code to SQL	2017	SIGMOD	4.7273104e-05
12,847	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB	4.1945683e-05
6,554	Rule-Based Translation of Relational Queries into Iterative Programs	1986	SIGMOD	5.0155947e-05