��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)
���������)
��)