Khipu

Logic Programs for Querying Inconsistent Databases

• Pablo Barceló
• Leo Bertossi

Practical Aspects of Declarative Languages: The Fifth International Symposium (PADL'03), 2003, pages 339-356.

Abstract

Consistent answers from a relational database that violates a given set of integrity constraints (ICs) are characterized at the conceptual level as ordinary answers that can be obtained from every minimally repaired version of the database (a repair). Repairs can be specified and interpreted as the stable models of a simple disjunctive normal logic program with database predicates extended with appropriate annotation arguments. In consequence, consistent query answers can be obtained by running an appropriate query program in combination with the repair program under the cautious or skeptical stable model semantics. In this paper we show how to write repair programs for universal and referential ICs; we establish their correctness and show how to run them on top of DLV.

Download

This publication is available in PDF (downloaded 33 times).

BibTeX

@inproceedings{BB03, author = {Pablo Barcel{\'o} and Leopoldo E. Bertossi}, title = {Logic Programs for Querying Inconsistent Databases}, booktitle = {PADL}, year = {2003}, pages = {208-222} }