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

An inconsistency tolerant approach to querying spatial databases

In order to deal with inconsistent databases, a repair semantics defines a set of admissible database instances that restore consistency, while staying close to the original instance. This set can be used to characterize consistent data and consistent query answers in inconsistent databases. In this work we present a repair semantics for spatial databases and spatial integrity constraints, i.e. constraints that combine semantic and topological aspects of spatial data. We also propose the notion of consistent answer to a spatial conjunctive query. This introduces the idea of inconsistency tolerance in the spatial domain, shifting the goal from the consistency of a spatial database to the consistency of query answers. Copyright 2008 ACM