Assertion Semantics
When an assertion is created system tests it for validity.
If the assertion is valid any future modifications to the database will be allowed only if it does not violate the assertion.
The example in last slide makes sure total loan amount is NOT > total balance in a branch involved in loans.