SQL server中实现断言

关于实现在SQL server中涉及多个表或聚集操作的比较复杂的完整性约束的方法

如果有收获记得支持，拜谢！

最近学习数据库系统概论，遇到了一个问题，查了好久没有解决，请教老师后才了解到在SQL server中的断言（CREATE ASSERTION）要在触发器中才能实现，即在触发器中定义涉及多个表或聚集操作的完整性约束，现在分享给大家。

---

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

---

在教材中创建断言的语句格式：

CREATE ASSERTION <断言名><CHECK子句>

简单介绍一下，数据库中有三张表：

• Student(Sno,Sname,Ssex,Sage,Sdept)
• Course(Cno,Cname,Cpno,Ccredit)
• SC(Sno,Cno,Grade)。

---

下面用一个例题进行演示

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

提示：计算选修数据库课程的学生人数，需要用到COUNT()。

下面是教材的实现代码：

CREATE ASSERTION ASSE_SC_DB_NUM 
	CHECK(60>=(SELECT COUNT(*) 
		FROM Course,SC WHERE SC.Cno=Course.Cno AND Course.Cname=’数据库’)
	);

上面的代码是标准SQL中的语句格式，可以实现涉及多个表或聚集操作的断言。但在不同的平台有不同的语句格式。
那么，在SQL中是这样的吗？可以正常运行吗？

当然，，ÿ