The consistency extractor system: Answer set programs for consistent query answering in databases

We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with respect to certain integrity constraints. In order to solve this task, ConsEx uses answers set programming. More precisely, ConsEx uses disjunctive logic programs with stable models semantics to specify and reason with the repairs, i.e. with the consistent virtual instances that minimally depart from the original database. The consistent information is invariant under all repairs. ConsEx achieves efficient query evaluation by implementing magic sets techniques. We describe the general methodology, its optimizations for query answering, and the architecture of the system. We also present encouraging experimental results. Key words: Databases, Integrity Constraints, Inconsistency, Answer Set Programs

• Type: Journal
• Year: 2010
• Where: DKE
• Authors: Mónica Caniupán Marileo, Leopoldo E. Bertossi
• Keywords: Certain Integrity Constraints, Consistency Extractor System, DKE 2010, Integrity Constraints