Sciweavers

SUM
2007
Springer

The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs

13 years 10 months ago
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
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.
Mónica Caniupán Marileo, Leopoldo E.
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SUM
Authors Mónica Caniupán Marileo, Leopoldo E. Bertossi
Comments (0)