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: 7135
Venue: SIGMOD
Year: 2025
Pagerank: 5.093636e-05
Overall Rank: 10,680 | 26.73%
DOI: 10.1145/3709734

Incoming Non-self Citations Over Time

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

Authors

1. Ronny Ko (Ohio State University; Osaka University; Sensor Tech)
2. Chuan Xiao (Nagoya University; Osaka University)
3. Makoto Onizuka (Osaka University)
4. Zhiqiang Lin (Ohio State University)
5. Yihe Huang (Databricks)

BibTeX Citation

@inproceedings{ko_sigmod25,
        title = {{Ultraverse: An Efficient What-if Analysis Framework for Software Applications Interacting with Database Systems}},
        author = {Ko, Ronny and Xiao, Chuan and Onizuka, Makoto and Lin, Zhiqiang and Huang, Yihe},
        series = {{SIGMOD} '25},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3709734},
        url = {https://dl.acm.org/doi/10.1145/3709734},
        year = {2025}
}

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
57	Calvin: Fast Distributed Transactions for Partitioned Database Systems	2012	SIGMOD	0.00040139242
226	OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases	2014	VLDB	0.00024027277
391	View Maintenance in a Warehousing Environment	1995	SIGMOD	0.00019370653
531	An Annotation Management System for Relational Databases	2004	VLDB	0.00017083233
754	Lazy Database Replication with Snapshot Isolation	2006	VLDB	0.00014327706
755	Rethinking serializable multiversion concurrency control	2015	VLDB	0.00014326008
766	The Case for Determinism in Database Systems	2010	VLDB	0.0001420984
1,096	Tiresias: The Database Oracle for How-To Queries	2012	SIGMOD	0.00012189583
1,571	DBNotes: A Post-It System for Relational Databases based on Provenance	2005	SIGMOD	0.00010330864
1,845	Hypothetical Queries in an OLAP Environment	2000	VLDB	9.629006e-05
1,952	Caravan: Provisioning for What-If Analysis	2013	CIDR	9.4233049e-05
2,026	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.287998e-05
2,067	A Polygen Model for Heterogeneous Database Systems: The Source Tagging Perspective	1990	VLDB	9.23317e-05
2,503	The Semiring Framework for Database Provenance	2017	PODS	8.4964654e-05
4,074	SPIDER: a Schema mapPIng DEbuggeR	2006	VLDB	6.9232658e-05
4,805	Efficient Answering of Historical What-if Queries	2022	SIGMOD	6.5003306e-05
4,868	RemusDB: Transparent High Availability for Database Systems	2011	VLDB	6.4713322e-05
4,959	QFix: Diagnosing Errors through Query Histories	2017	SIGMOD	6.4283324e-05
5,684	Snakes on a Plan: Compiling Python Functions into Plain SQL Queries	2022	SIGMOD	6.1224825e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	9,917	The UDFBench Benchmark for General-purpose UDF Queries	2025	VLDB
2	10,958	What If: Causal Analysis with Graph Databases	2025	VLDB
3	13,735	Bridging the Application and DBMS Divide Using Static Analysis and Dynamic Profiling	2009	SIGMOD
4	8,674	Boosting Efficiency of External Pipelines by Blurring Application Boundaries	2022	CIDR
5	2,939	Extracting Equivalent SQL from Imperative Code in Database Applications	2016	SIGMOD
6	2,930	StatusQuo: Making Familiar Abstractions Perform Using Program Analysis	2013	CIDR
7	10,597	Fast Verification of Strong Database Isolation	2026	VLDB
8	13,336	UmbraPerf - Profiling Results Tailored for DBMS Developers	2025	VLDB
9	4,805	Efficient Answering of Historical What-if Queries	2022	SIGMOD
10	5,025	HYPER: Hypothetical Reasoning With What-If and How-To Queries Using a Probabilistic Causal Approach	2022	SIGMOD