Definitions for "Integrity Constraint"
Keywords:  column, rule, table, declarative, true
an assertion that must always be true. See Chapter5
A role that restricts the values for a certain column in a table.
a declarative way to define a business rule for a column of a table
a first order formula in restricted quantification form in which only the pre defined predicate symbols of the terminological and object components plus the usual equality and inequality symbols may occur