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.

• Type: Conference
• Year: 2007
• Where: SUM
• Authors: Mónica Caniupán Marileo, Leopoldo E. Bertossi
• Keywords: Answer Set Programming, Consistency Extractor System, Disjunctive Logic Programs, SUM 2007