A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
AbstractWe studyactive integrity constraintsandrevision programming, two formalisms designed to describe integrity constraints on databases and to specify policies onpreferredways to enforce them. Unlike other more commonly accepted approaches, these two formalisms attempt to provide a declarative solution to the problem. However, the original semantics offounded repairsfor active integrity constraints andjustified revisionsfor revision programs differ. Our main goal is to establishdoi:10.1017/s1471068410000475 fatcat:udfrs4k5knh7dbnuntfacekicq