Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints

There is no agreement in the litterature about the de nition of integrity constraints in the context of data and/or knowledge bases. What kind of property people want to guarantee using integrity constraints? Is it the property of consistency of database content or the completeness of database content [6] or validity or completeness of database content with regard to the world [3] or some properties that should hold in the world of a given application domain [1] There is no unique answer to this question. It depends on the intention of users. However, even if we accept that integrity constraints are intended to impose constraints about di erent kinds of properties, it would be interesting to know what are the di erences and common features, and what are the implicit assumptions for each kind of constraints.