by Alexandra Meliou, Yisong Song, Dan Suciu
Abstract:
In this demo, we will present Tiresias, the first how-to query engine. How-to queries represent fundamental data analysis questions of the form: ``How should the input change in order to achieve the desired output''. They exemplify an important Reverse Data Management problem: solving constrained optimization problems over data residing in a DBMS. Tiresias, named after the mythical oracle of Thebes, has complex under-workings, but includes a simple interface that allows users to load datasets and interactively design optimization problems by simply selecting actions, key performance indicators, and objectives. The user choices are translated into a declarative query, which is then processed by Tiresias and translated into a Mixed Integer Program: we then use an MIP solver to find a solution. The solution is then presented to the user as an interactive data instance. The user can provide feedback by rejecting certain tuples and/or values. Then, based on the user feedback, Tiresias automatically refines the how-to query and presents a new set of results.
Citation:
Alexandra Meliou, Yisong Song, and Dan Suciu, Tiresias: A Demonstration of How-To Queries, in Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD), 2012, pp. 709–712 (Demonstration paper [Best Demonstration Award]).
Bibtex:
@inproceedings{DBLP:conf/sigmod/MeliouSS12,
Abstract = {In this demo, we will present Tiresias, the first how-to query
engine. How-to queries represent fundamental data analysis questions of
the form: ``How should the input change in order to achieve the desired
output''. They exemplify an important Reverse Data Management problem:
solving constrained optimization problems over data residing in a DBMS.
Tiresias, named after the mythical oracle of Thebes, has complex
under-workings, but includes a simple interface that allows users to load
datasets and interactively design optimization problems by simply
selecting actions, key performance indicators, and objectives. The user
choices are translated into a declarative query, which is then processed
by Tiresias and translated into a Mixed Integer Program: we then use an
MIP solver to find a solution. The solution is then presented to the user
as an interactive data instance. The user can provide feedback by
rejecting certain tuples and/or values. Then, based on the user feedback,
Tiresias automatically refines the how-to query and presents a new set of
results.},
Author = {Alexandra Meliou and Yisong Song and Dan Suciu},
Booktitle = {Proceedings of the ACM SIGMOD International Conference on
Management of Data (SIGMOD)},
comment = {Demonstration paper <span class="emphasis">[Best Demonstration Award]</span>},
Pages = {709--712},
Title = {\href{http://people.cs.umass.edu/ameli/projects/tiresias/papers/Tiresias-demo.pdf}{Tiresias: {A} Demonstration of How-To Queries}},
doi = {10.1145/2213836.2213939},
Venue = {SIGMOD},
address = {Scottsdale, AZ},
month = may,
Year = {2012}
}