CORR
2010
Springer
14 years 2 months ago
2010
Springer
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...