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.00012274277
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.00017765702
2,054	Messing Up with BART: Error Generation for Evaluating Data-Cleaning Algorithms	2016	VLDB	9.1158071e-05
2,318	Causal Relational Learning	2020	SIGMOD	8.6491185e-05
2,600	Complaint-driven Training Data Debugging for Query 2.0	2020	SIGMOD	8.2346824e-05
2,838	Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead	2017	CIDR	7.9493532e-05
3,280	Searchlight: Enabling Integrated Search and Exploration over Large Multidimensional Data	2015	VLDB	7.4590081e-05
4,568	HYPER: Hypothetical Reasoning With What-If and How-To Queries Using a Probabilistic Causal Approach	2022	SIGMOD	6.5279657e-05
4,741	Going Beyond Provenance: Explaining Query Answers with Pattern-based Counterbalances	2019	SIGMOD	6.4411456e-05
4,829	QFix: Diagnosing Errors through Query Histories	2017	SIGMOD	6.3887613e-05
4,920	Efficient Answering of Historical What-if Queries	2022	SIGMOD	6.3514733e-05
5,216	Stage: Query Execution Time Prediction in Amazon Redshift	2024	SIGMOD	6.2218868e-05
5,251	Enabling SQL-based Training Data Debugging for Federated Learning	2022	VLDB	6.2092359e-05
5,359	Why Not Yet: Fixing a Top-k Ranking that Is Not Fair to Individuals	2023	VLDB	6.1608586e-05
5,651	Lineage-driven Fault Injection	2015	SIGMOD	6.0495347e-05
6,522	Query Refinement for Diverse Top-k Selection	2024	SIGMOD	5.7546462e-05
6,703	Toward Interpretable and Actionable Data Analysis with Explanations and Causality	2022	VLDB	5.7031717e-05
6,712	Selective Provenance for Datalog Programs Using Top-K Queries	2015	VLDB	5.70009e-05
6,773	Tiresias: A Demonstration of How-To Queries	2012	SIGMOD	5.6840567e-05
6,774	Quantum Databases	2013	CIDR	5.6840386e-05
6,961	Scalable Package Queries in Relational Database Systems	2016	VLDB	5.63072e-05
7,235	Hypothetical Reasoning via Provenance Abstraction	2019	SIGMOD	5.5765963e-05
7,385	Aggregated Deletion Propagation for Counting Conjunctive Query Answers	2021	VLDB	5.5361635e-05
7,422	A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP Relaxations	2023	SIGMOD	5.5299903e-05
8,172	Fast and Reliable Missing Data Contingency Analysis with Predicate-Constraints	2020	SIGMOD	5.3824434e-05
8,769	Is Integer Linear Programming All You Need for Deletion Propagation? A Unified and Practical Approach for Generalized Deletion Propagation	2025	VLDB	5.2811408e-05
9,027	Complaint-Driven Training Data Debugging at Interactive Speeds	2022	SIGMOD	5.2340097e-05
9,407	PackageBuilder: From Tuples to Packages	2014	VLDB	5.1825144e-05
9,604	Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries	2020	SIGMOD	5.1534211e-05
10,813	Efficient Query Repair for Aggregate Constraints	2026	VLDB	4.9769913e-05
10,996	GDPView: An Interactive Interface that Unifies Variants of Deletion Propagation (DP)	2026	VLDB	4.9769913e-05
11,129	Ultraverse: An Efficient What-if Analysis Framework for Software Applications Interacting with Database Systems	2025	SIGMOD	4.9769913e-05
12,264	Constraint-based Explanation and Repair of Filter-based Transformations	2018	VLDB	4.9769913e-05
12,509	A Provenance Framework for Data-Dependent Process Analysis	2014	VLDB	4.9769913e-05
13,925	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.00059813669
245	MCDB: A Monte Carlo Approach to Managing Uncertain Data	2008	SIGMOD	0.00023251151
337	Trio: A System for Data, Uncertainty, and Lineage	2006	VLDB	0.00020613834
811	Provenance for Aggregate Queries	2011	PODS	0.00013746145
2,414	Data Generation using Declarative Constraints	2011	SIGMOD	8.5054535e-05
2,543	From Complete to Incomplete Information and Back	2007	SIGMOD	8.3143504e-05
2,950	Reverse Data Management	2011	VLDB	7.817636e-05
3,428	Relational Lenses: A Language for Updatable Views	2006	PODS	7.3033487e-05

Semantically Similar Papers

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