We describe the Consistency Extractor System (Cons Ex) 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, Cons Ex uses answers set programming. More precisely, Cons Ex 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. Cons Ex 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.

Additional Metadata
Keywords Answer set programs, Databases, Inconsistency, Integrity constraints
Persistent URL dx.doi.org/10.1016/j.datak.2010.01.005
Journal Data and Knowledge Engineering
Caniupán, M. (Monica), & Bertossi, L. (2010). The consistency extractor system: Answer set programs for consistent query answering in databases. Data and Knowledge Engineering, 69(6), 545–572. doi:10.1016/j.datak.2010.01.005