Ultraverse: An Efficient What-if Analysis Framework for Software Applications Interacting with Database Systems

Summary: Ultraverse unifies app- and DB-layer what-if analysis via dynamic symbolic execution, translating app code into compact SQL procedures and preserving semantics. Query dependency analysis prunes non-influential transactions and enables parallel replay of independent ones, delivering 7.7x–291x speedups on unmodified DBs and legacy apps. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7074
Venue: SIGMOD
Year: 2025
Pagerank: 4.1905499e-05
Overall Rank: 10,405 | 27.69%
DOI: 10.1145/3709734

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 19 of 19 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
122	Calvin: Fast Distributed Transactions for Partitioned Database Systems	2012	SIGMOD	0.0004532783
339	OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases	2014	VLDB	0.00026895683
402	View Maintenance in a Warehousing Environment	1995	SIGMOD	0.00024179174
561	An Annotation Management System for Relational Databases	2004	VLDB	0.00020099434
591	Lazy Database Replication with Snapshot Isolation	2006	VLDB	0.00019545141
961	The Case for Determinism in Database Systems	2010	VLDB	0.00015028453
1,217	Rethinking serializable multiversion concurrency control	2015	VLDB	0.00013228757
1,376	Tiresias: The Database Oracle for How-To Queries	2012	SIGMOD	0.00012315734
1,460	Hypothetical Queries in an OLAP Environment	2000	VLDB	0.00011873918
1,569	A Polygen Model for Heterogeneous Database Systems: The Source Tagging Perspective	1990	VLDB	0.00011313989
1,646	Caravan: Provisioning for What-If Analysis	2013	CIDR	0.00011026644
1,824	DBNotes: A Post-It System for Relational Databases based on Provenance	2005	SIGMOD	0.00010395269
2,073	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.6287026e-05
2,770	The Semiring Framework for Database Provenance	2017	PODS	8.1495762e-05
4,338	SPIDER: a Schema mapPIng DEbuggeR	2006	VLDB	6.271442e-05
4,661	Efficient Answering of Historical What-if Queries	2022	SIGMOD	6.0069281e-05
5,325	RemusDB: Transparent High Availability for Database Systems	2011	VLDB	5.5666141e-05
5,454	QFix: Diagnosing Errors through Query Histories	2017	SIGMOD	5.4967096e-05
6,211	Snakes on a Plan: Compiling Python Functions into Plain SQL Queries	2022	SIGMOD	5.1503069e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
9,765	The UDFBench Benchmark for General-purpose UDF Queries	2025	VLDB	4.2815042e-05
10,722	What If: Causal Analysis with Graph Databases	2025	VLDB	4.1905499e-05
13,549	Bridging the Application and DBMS Divide Using Static Analysis and Dynamic Profiling	2009	SIGMOD	-
8,689	Boosting Efficiency of External Pipelines by Blurring Application Boundaries	2022	CIDR	4.4619184e-05
3,298	Extracting Equivalent SQL from Imperative Code in Database Applications	2016	SIGMOD	7.2527707e-05
2,874	StatusQuo: Making Familiar Abstractions Perform Using Program Analysis	2013	CIDR	7.9762275e-05
10,311	Fast Verification of Strong Database Isolation	2026	VLDB	4.1905499e-05
13,145	UmbraPerf - Profiling Results Tailored for DBMS Developers	2025	VLDB	-
4,661	Efficient Answering of Historical What-if Queries	2022	SIGMOD	6.0069281e-05
5,617	HYPER: Hypothetical Reasoning With What-If and How-To Queries Using a Probabilistic Causal Approach	2022	SIGMOD	5.4085897e-05