The Consistency Extractor System: Querying Inconsistent Databases using Answer Set Programs
Author(s):The Scalable Uncertainty Management Conference (SUM 2007), 2007, pages 74-88.
Abstract
We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases that may be inconsistent wrt their integrity constraints. Among other features, ConsEx implements a magic sets technique to evaluate queries via disjunctive logic programs with stable model semantics that specify
the repair of the original database. We describe the methodology and the system; and also present some experimental results.
Download
This publication is available in PDF (downloaded 31 times).
BibTeX
@inproceedings{DBLP:conf/sum/MarileoB07, author = {M{\'o}nica Caniup{\'a}n Marileo and Leopoldo E. Bertossi}, title = {The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs}, booktitle = {SUM}, year = {2007}, pages = {74-88}, ee = {http://dx.doi.org/10.1007/978-3-540-75410-7_6}, crossref = {DBLP:conf/sum/2007}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/sum/2007, editor = {Henri Prade and V. S. Subrahmanian}, title = {Scalable Uncertainty Management, First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings}, booktitle = {SUM}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4772}, year = {2007}, isbn = {978-3-540-75407-7}, bibsource = {DBLP, http://dblp.uni-trier.de} }