Previous Topic: Alternative Relationship RepresentationsNext Topic: User-Defined Domains


General Integrity Constraints

In some cases, certain combinations of attribute values and relationship memberships can be invalid for entities of a given type. Conditions that determine the validity of entities of a given type are named integrity constraints.

A number of kinds of integrity constraint have already been introduced. Optionality conditions for relationship memberships and attributes, cardinality conditions for relationship memberships, permitted values for attributes, and the mutual exclusivity of relationship memberships are all examples of special kinds of integrity constraints. However, these specifications do not exhaustively address all issues that can determine the validity of an entity. To do so, specify a general integrity constraint.

In CA Gen, integrity constraints that are not otherwise addressed are captured as part of a description for an entity type. During activity analysis, ensure that the integrity constraints documented during data analysis are reflected in the process definition.

Two examples of conditions that are addressed by general integrity constraints are: