SPECIFYING AND QUERYING DATABASE REPAIRS USING LOGIC PROGRAMS WITH EXCEPTIONS

Abstract

Databases may be inconsistent with respect to a given set of integrity constraints. Nevertheless, most of the data may be consistent. In this paper we show how to specify consistent data and how to query a relational database in such a way that only consistent data is retrieved. The specification and queries are based on disjunctive extended logic programs with positive and negative exceptions that generalize those previously introduced by Kowalski and Sadri.