数据库断言

1、断言的概念
　　所谓断言就是一个谓词，它表达了我们希望数据库总能满足的一个条件。域约束和参照完整性约束是断言的特殊形式。

2、SQL-92中断言的定义形式
　　create assertion <断言名> check <谓词>

3、断言的利弊
　　①　一方面能够保证数据库的一致性；
　　②　另一方面，检测和维护断言需要很大的开销，系统效率降的很低。一般不主张使用断言！

例如，在银行企业数据库中规定：每个分支机构的贷款金额的总和必须少于该支行帐户余额的总和。用断言描述如下：

create assertion sum-constraint check
　(not exists (select * from branch
　　where (select sum(amount) from loan
　　　　　where loan.branch-name = branch.branch-name)
　　　　>= (select sum(balance) from account
　　　　　　where account.branch-name = branch.branch-name)
　　　　　　　　　)
　　)