数据库断言SQLsever语言，ASSERTION

断言

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

创建断言的语句格式

CREATE ASSERTION <断言名> <CHECK子句>
每个断言都被赋予一个名字，<CHECK子句>中的约束条件与WHERE子句的条件表
达式类似。

[例1]限制数据库课程最多60名学生选修。

CREATE ASSERTION_ASSE_SC_DB_NUM
CHECK ( 60>=( SELECT count(*) #*此断言的谓词涉及聚集操作count的SQL语句*
	FROM Course,SC
	WHERE SC.CNO=COURSE.CNO AND COURSE.CNAME ='数据库')

每当学生选修课程时，将在SC表中插入一条元组(Sno, Cno, NULL), ASSE_SC_ DB_ NUM断言被触发检查。如果选修数据库课程的人数已经超过60人，CHECK子句返回值为“假”，对SC表的插入操作被拒绝。

[例2]限制每一门课程最多60名学生选修。

CREATE ASSERTION ASSE SC CNUMI
CHECK( 60>=ALL( SELECT count() #此断言的谓词，涉及聚集操作count 
	FROM SC
	#和分组函数group by的SQL语句
	GROUP by cno )
);

[例3]限制每个学期每一门课程最多60名学生选修。

#首先修改SC表的模式，增加一个“学期(TERM)”的属性。
ALTER TABLE SC ADD TERM DATE;#先修改SC表，增加TERM属性，它的类型是DATE

#然后定义断言:
CREATE ASSERTIONASSE SC CNUM2
CHECK (60>=ALL ( select count (*) from SC group by cno,TERM ));