创建断言的语句格式
CREATE ASSERTION <断言名><CHECK 子句>
每个断言都被赋予一个名字,中的约束条件与WHERE子句的条件表达式类似
删除断言的语句格式
DROP ASSERTION <断言名>