断言
在SQL中可以使用数据定义语言中的CREATE ASSERTION 语句,通过声明性断言,来指定更具一般性约束,断言创建以后,任何对断言中所涉及关系的操作都会触发关系数据库管理系统对断言的检查,任何使断言不为真都会拒绝执行.
1: 创建断言的语言格式
CREATE ASSERTION <断言名> <CHECK 字句>
每个断言都被赋予一个名字,<check 字句>中的约束条件与where 字句的条件表达类似
删除断言语句格式
DROP ASSERTION <断言名>
如断言很复杂,则系统在检测和维护断言上的开销较高,这是在使用断言时应该注意的.