Tiresias: The Database Oracle for How-To Queries

Summary: First system for how-to queries (reverse data management): TiQL-to-MIP translation yields SQL-generated variables and constraints on an RDBMS. It adds data-aware optimizations and divide-and-conquer MIP decomposition, delivering strong TPC-H performance. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: hc7cca519237427ea
Venue: SIGMOD
Year: 2012
Pagerank: 0.00012279821
Overall Rank: 1,051 | 92.94%
DOI: 10.1145/2213836.2213875

Incoming Non-self Citations Over Time

Authors

1. Alexandra Meliou (University of Washington)
2. Dan Suciu (University of Washington)

BibTeX Citation

@inproceedings{meliou_sigmod12,
        title = {{Tiresias: The Database Oracle for How-To Queries}},
        author = {Meliou, Alexandra and Suciu, Dan},
        series = {{SIGMOD} '12},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/2213836.2213875},
        url = {https://dl.acm.org/doi/10.1145/2213836.2213875},
        year = {2012}
}

Incoming Citations (Sorted by Pagerank)

Showing 34 of 34 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
466	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017773029
2,051	Messing Up with BART: Error Generation for Evaluating Data-Cleaning Algorithms	2016	VLDB	9.1199511e-05
2,315	Causal Relational Learning	2020	SIGMOD	8.6532142e-05
2,598	Complaint-driven Training Data Debugging for Query 2.0	2020	SIGMOD	8.2385793e-05
2,843	Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead	2017	CIDR	7.9491056e-05
3,279	Searchlight: Enabling Integrated Search and Exploration over Large Multidimensional Data	2015	VLDB	7.4620555e-05
4,566	HYPER: Hypothetical Reasoning With What-If and How-To Queries Using a Probabilistic Causal Approach	2022	SIGMOD	6.5310568e-05
4,739	Going Beyond Provenance: Explaining Query Answers with Pattern-based Counterbalances	2019	SIGMOD	6.4441962e-05
4,827	QFix: Diagnosing Errors through Query Histories	2017	SIGMOD	6.3917868e-05
4,919	Efficient Answering of Historical What-if Queries	2022	SIGMOD	6.3544814e-05
5,214	Stage: Query Execution Time Prediction in Amazon Redshift	2024	SIGMOD	6.2248104e-05
5,247	Enabling SQL-based Training Data Debugging for Federated Learning	2022	VLDB	6.2121767e-05
5,353	Why Not Yet: Fixing a Top-k Ranking that Is Not Fair to Individuals	2023	VLDB	6.1637765e-05
5,648	Lineage-driven Fault Injection	2015	SIGMOD	6.0523358e-05
6,520	Query Refinement for Diverse Top-k Selection	2024	SIGMOD	5.7573717e-05
6,699	Toward Interpretable and Actionable Data Analysis with Explanations and Causality	2022	VLDB	5.7058728e-05
6,708	Selective Provenance for Datalog Programs Using Top-K Queries	2015	VLDB	5.7027474e-05
6,769	Quantum Databases	2013	CIDR	5.6867236e-05
6,770	Tiresias: A Demonstration of How-To Queries	2012	SIGMOD	5.6866955e-05
6,960	Scalable Package Queries in Relational Database Systems	2016	VLDB	5.6333868e-05
7,234	Hypothetical Reasoning via Provenance Abstraction	2019	SIGMOD	5.5792063e-05
7,383	Aggregated Deletion Propagation for Counting Conjunctive Query Answers	2021	VLDB	5.5387855e-05
7,419	A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP Relaxations	2023	SIGMOD	5.5326094e-05
8,166	Fast and Reliable Missing Data Contingency Analysis with Predicate-Constraints	2020	SIGMOD	5.3849926e-05
8,761	Is Integer Linear Programming All You Need for Deletion Propagation? A Unified and Practical Approach for Generalized Deletion Propagation	2025	VLDB	5.283642e-05
9,019	Complaint-Driven Training Data Debugging at Interactive Speeds	2022	SIGMOD	5.2364886e-05
9,398	PackageBuilder: From Tuples to Packages	2014	VLDB	5.1849689e-05
9,596	Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries	2020	SIGMOD	5.1558618e-05
10,803	Efficient Query Repair for Aggregate Constraints	2026	VLDB	4.9793485e-05
10,987	GDPView: An Interactive Interface that Unifies Variants of Deletion Propagation (DP)	2026	VLDB	4.9793485e-05
11,120	Ultraverse: An Efficient What-if Analysis Framework for Software Applications Interacting with Database Systems	2025	SIGMOD	4.9793485e-05
12,258	Constraint-based Explanation and Repair of Filter-based Transformations	2018	VLDB	4.9793485e-05
12,503	A Provenance Framework for Data-Dependent Process Analysis	2014	VLDB	4.9793485e-05
13,920	PackageBuilder: Querying for packages of tuples	2014	SIGMOD	-

Outgoing Citations (Sorted by Pagerank)

Showing 8 of 8 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
17	Provenance Semirings	2007	PODS	0.00059752575
245	MCDB: A Monte Carlo Approach to Managing Uncertain Data	2008	SIGMOD	0.00023258672
337	Trio: A System for Data, Uncertainty, and Lineage	2006	VLDB	0.00020621631
819	Provenance for Aggregate Queries	2011	PODS	0.00013666629
2,413	Data Generation using Declarative Constraints	2011	SIGMOD	8.5094338e-05
2,543	From Complete to Incomplete Information and Back	2007	SIGMOD	8.3182354e-05
2,949	Reverse Data Management	2011	VLDB	7.821181e-05
3,428	Relational Lenses: A Language for Updatable Views	2006	PODS	7.3067857e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,147	Sia: Optimizing Queries using Learned Predicates	2021	SIGMOD
2	4,459	Semantic Query Optimization in the Presence of Types	2010	PODS
3	8,168	Complete Approximations of Incomplete Queries	2013	VLDB
4	11,136	A Query-Aware Enormous Database Generator For System Performance Evaluation	2025	SIGMOD
5	4,566	HYPER: Hypothetical Reasoning With What-If and How-To Queries Using a Probabilistic Causal Approach	2022	SIGMOD
6	9,791	TiQuE: Improving the Transactional Performance of Analytical Systems for True Hybrid Workloads	2023	VLDB
7	5,170	Toward Practical Constraint Databases	1993	VLDB
8	8,651	Hybrid Mixed Integer Linear Programming for Large-Scale Join Order Optimisation	2026	VLDB
9	8,872	Tiresias: Enabling Predictive Autonomous Storage and Indexing	2022	VLDB
10	6,770	Tiresias: A Demonstration of How-To Queries	2012	SIGMOD