Sciweavers

Share
DKE
2010

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

8 years 11 months ago
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
Mónica Caniupán Marileo, Leopoldo E.
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2010
Where DKE
Authors Mónica Caniupán Marileo, Leopoldo E. Bertossi
Comments (0)
books