SRP-IC: a selective refutation procedure for integrity constraints checking

The various approaches to Integrity Constraint Checking proposed in the literature so far, can be charaderized in various ways, e.g. according to the language to express the database and its integrity constraints, or according to the strategy the integrity checking methods are based ono Referring to this last aspect, we can make a furher distinction between interpretative and compilative approaches. In this paper we concentrate on stratified logic-based databases, and in particular we present an intepretative method to answer database queries selectively with respect to integrity constraints. The main idea is to integrate query answering with integrity checking as an interpretative version of the modified-program approach described in [1].