Computing Repairs from Active Integrity Constraints

Luis Cruz-Filipe, Graca Gaspar, Patricia Engracia, Isabel Nunes
2013 2013 International Symposium on Theoretical Aspects of Software Engineering  
Repairing an inconsistent knowledge base is a wellknown problem for which several solutions have been proposed and implemented in the past. In this paper, we start by looking at databases with active integrity constraints -consistency requirements that also indicate how the database should be updated when they are not met -as introduced by Caroprese et al. We show that the different kinds of repairs considered by those authors can be effectively computed by searching for leaves of specific
more » ... of trees. Although these computations are in general not very efficient (deciding the existence of a repair for a given database with active integrity constraints is N P -complete), on average the algorithms we present make significant reductions on the number of nodes in the search tree. Finally, these algorithms also give an operational characterization of different kinds of repairs that can be used when we extend the concept of active integrity constraints to the more general setting of knowledge bases.
doi:10.1109/tase.2013.32 dblp:conf/tase/Cruz-FilipeGEN13 fatcat:a32mkh3gwzh3litnymhlp425c4