Different Constraint Types

Type Where Declared When activated Guaranteed

to hold?

Attribute with attribute on insertion not if

CHECK or update subquery

Tuple relation schema insertion or not if

CHECK update to subquery

relation

Assertion database schema on change to Yes

any relation

mentioned