DMCA
Tiresias: the database oracle for how-to queries (2012)
Cached
Download Links
| Venue: | In SIGMOD |
| Citations: | 16 - 1 self |
BibTeX
@INPROCEEDINGS{Meliou12tiresias:the,
author = {Alexandra Meliou and Dan Suciu},
title = {Tiresias: the database oracle for how-to queries},
booktitle = {In SIGMOD},
year = {2012},
pages = {337--348}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management problem, the evaluation of how-to queries is harder than their “forward ” counterpart: hypothetical, or what-if queries. In this paper, we present Tiresias, the first system that provides support for how-to queries, allowing the definition and integrated evaluation of a large set of constrained optimization problems, specifically Mixed Integer Programming problems, on top of a relational database system. Tiresias generates the problem variables, constraints and objectives by issuing standard SQL statements, allowing for its integration with any RDBMS. The contributions of this work are the following: (a) we define how-to queries using possible world semantics, and propose the specification language TiQL (for Tiresias Query Language) based on simple extensions to standard Datalog. (b) We define translation rules that generate a Mixed Integer Program (MIP) from TiQL specifications, which can be solved using existing tools. (c) Tiresias implements powerful “dataaware” optimizations that are beyond the capabilities of modern MIP solvers, dramatically improving the system performance. (d) Finally, an extensive performance evaluation on the TPC-H dataset demonstrates the effectiveness of these optimizations, particularly highlighting the ability to apply divide-and-conquer methods to break MIP problems into smaller instances.
Keyphrases
how-to query database oracle translation rule constrained optimization problem what-if query modern mip solver divide-and-conquer method mixed integer program tpc-h dataset reverse data management problem mip problem extensive performance evaluation possible world semantics system performance simple extension mixed integer programming problem large set standard sql statement problem variable integrated evaluation relational database system fundamental data analysis question forward counterpart tiql specification specification language tiql tiresias query language input change desired output first system tiresias implement powerful dataaware optimization
