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: 7073
Venue: SIGMOD
Year: 2025
Pagerank: 4.1945683e-05
Overall Rank: 10,394 | 27.70%
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.00045316749
340	OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases	2014	VLDB	0.00026841628
401	View Maintenance in a Warehousing Environment	1995	SIGMOD	0.00024214488
561	An Annotation Management System for Relational Databases	2004	VLDB	0.00020115419
590	Lazy Database Replication with Snapshot Isolation	2006	VLDB	0.000195762
959	The Case for Determinism in Database Systems	2010	VLDB	0.00015025361
1,217	Rethinking serializable multiversion concurrency control	2015	VLDB	0.0001323177
1,371	Tiresias: The Database Oracle for How-To Queries	2012	SIGMOD	0.00012323502
1,461	Hypothetical Queries in an OLAP Environment	2000	VLDB	0.0001188499
1,568	A Polygen Model for Heterogeneous Database Systems: The Source Tagging Perspective	1990	VLDB	0.00011323734
1,646	Caravan: Provisioning for What-If Analysis	2013	CIDR	0.00011036992
1,824	DBNotes: A Post-It System for Relational Databases based on Provenance	2005	SIGMOD	0.00010405194
2,068	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.6377415e-05
2,764	The Semiring Framework for Database Provenance	2017	PODS	8.1574444e-05
4,340	SPIDER: a Schema mapPIng DEbuggeR	2006	VLDB	6.2769021e-05
4,664	Efficient Answering of Historical What-if Queries	2022	SIGMOD	6.0127053e-05
5,320	RemusDB: Transparent High Availability for Database Systems	2011	VLDB	5.5711465e-05
5,445	QFix: Diagnosing Errors through Query Histories	2017	SIGMOD	5.5020909e-05
6,212	Snakes on a Plan: Compiling Python Functions into Plain SQL Queries	2022	SIGMOD	5.1552576e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
9,763	The UDFBench Benchmark for General-purpose UDF Queries	2025	VLDB	4.2856106e-05
10,715	What If: Causal Analysis with Graph Databases	2025	VLDB	4.1945683e-05
13,536	Bridging the Application and DBMS Divide Using Static Analysis and Dynamic Profiling	2009	SIGMOD	-
8,692	Boosting Efficiency of External Pipelines by Blurring Application Boundaries	2022	CIDR	4.4661967e-05
3,296	Extracting Equivalent SQL from Imperative Code in Database Applications	2016	SIGMOD	7.2596583e-05
2,867	StatusQuo: Making Familiar Abstractions Perform Using Program Analysis	2013	CIDR	7.9831651e-05
10,299	Fast Verification of Strong Database Isolation	2026	VLDB	4.1945683e-05
13,131	UmbraPerf - Profiling Results Tailored for DBMS Developers	2025	VLDB	-
4,664	Efficient Answering of Historical What-if Queries	2022	SIGMOD	6.0127053e-05
5,607	HYPER: Hypothetical Reasoning With What-If and How-To Queries Using a Probabilistic Causal Approach	2022	SIGMOD	5.4137872e-05