An assertion is a predicate expressing a condition that we wish the database to always satisfy.
Domain constraints and referential integrity constraint are special forms of assertions.
CREATE ASSERTION a CHECK(p);a: Name of the assertionp: Predicate
When an assertion is created, the system checks it for validity. If the assertion is valid, then any future modification to the database is allowed only if it does not cause assertion violation.