The Internet Archive has a preservation copy of this work in our general collections.
The file type is
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways 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 of founded repairs for active integrity constraints and justified revisions for revision programs differ. Our main goal is to establish aarXiv:1009.2270v1 fatcat:mqjqgzdorjdpjm44ode2v2lpam