Query evaluation in almost consistent databases using residues

The authors consider the problem of logical characterization of the notion of correct answers in a relational database that may violate given integrity constraints. This notion is captured in terms of the possible repaired versions of the database. A computational counterpart of the semantic notion is provided in terms of the reconstruction of the database as a deductive database to which concepts and techniques from semantic query optimization are applied with the purpose of computing correct answers.