A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Computing Repairs from Active Integrity Constraints
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
doi:10.1109/tase.2013.32
dblp:conf/tase/Cruz-FilipeGEN13
fatcat:a32mkh3gwzh3litnymhlp425c4