数据库原理二复习、习题分析.pptVIP

这样就能很容易地写出断言： CREATE ASSERTION ASSE4 CHECK (NOT EXISTS( SELECT SNO FROM SC X WHERE NOT EXISTS (SELECT * FROM SC Y, C WHERE Y.CNO=C.CNO AND Y.SNO=X.SNO AND CNAME=’ Maths’)))； (4) 学生必须在选修Maths课后，才能选修其他课程。 这个约束可用下列形式表达： “不存在一个学生的选课，这个学生没学过Maths课”。 (5)每个男学生最多选修20门课程。 CREATE ASSERTION ASSE5 CHECK (20=ALL(SELECT COUNT(CNO)