4.2. Assertions Notes | Database Management System BCT-NEW | TU | TABFlux