From Database Repair Programs to Consistent Query Answering in Classical Logic

Provided by: RWTH Aachen University
Topic: Data Management
Format: PDF
Consistent answers to a query from an inconsistent database are answers that can be simultaneously retrieved from every possible repair; and repairs are consistent instances that minimally differ from the original instance. Database repairs can be specified as the stable models of a disjunctive logic program. In this paper, the authors show how to use the repair programs to transform the problem of consistent query answering into a problem of reasoning wrt a concrete theory written in second-order predicate logic.

Find By Topic