数据库系统概述之断言

断言

断言：在sql中可以使用数据定义语言中的create assertion语句，通过声明性断言来指定更具一般性的约束。可以定义涉及多个表或聚焦操作的比较复杂的完整性约束。断言创建以后，任何对断言中所涉及关系的操作都会触发关系数据库管理系统对断言的检查，任何使断言不为真值得操作都会拒绝执行。

限制数据库课程最多60名学生选修

Create assertion asse_sc_db_num check(60>=(select count(*) from course,sc where sc.cno=course.cno and course,cname=’数据库’));

限制每一门课程最多60名学生选修

Create assertion asse_sc_cnum1 check(60>=all(select count(*) from sc group by cno));