SQL Server 数据库实验课第七周——第五章数据库完整性

5.1实体完整性

5.1.1定义实体完整性

关系模型的实体完整性，CREATE TABLE中用PRIMARY KEY定义
例5.1将Student表中的Sno属性定义为码
（1）在列级定义主码

CREATE TABLE Student
(  Sno  CHAR(9)  PRIMARY KEY,
   Sname  CHAR(20) NOT NULL,     
   Ssex  CHAR(2),
   Sage  SMALLINT,
   Sdept  CHAR(20)
);

（2）在表级定义主码

CREATE TABLE SC
(  Sno   CHAR(9)  NOT NULL, 
   Cno  CHAR(4)  NOT NULL,  
   Grade    SMALLINT,
   PRIMARY KEY (Sno,Cno)    /*只能在表级定义主码*/
); 

5.1.2 实体完整性检查和违约处理

插入或更新操作时，DBMS按照实体完整性规则自动进行检查。
（1）检查主码值是否唯一，如果不唯一则拒绝插入或修改
（2）检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改

5.2参照完整性

5.2.1定义参照完整性

关系模型的参照完整性定义
在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码，用REFERENCES短语指明这些外码参照哪些表的主码。
例5.3定义SC中的参照完整性

CREATE TABLE SC
(  Sno    CHAR(9)  NOT NULL, 
   Cno     CHAR(4)  NOT NULL,  
   Grade    SMALLINT,
   PRIMARY KEY (Sno, Cno),   /*在表级定义实体完整性*/
   FOREIGN KEY (Sno) REFERENCES Student(Sno),  
   /*在表级定义参照完整性*/
   FOREIGN KEY (Cno) REFERENCES Course(Cno)    
   /*在表级定义参照完整性*/
); 

5.2.2 参照完整性检查和违约处理

例5.4显式说明参照完整性的违约处理示例

CREATE TABLE  SC
(
Sno   CHAR(9)  NOT NULL,
Cno   CHAR(4)  NOT NULL,
Grade  SMALLINT,
PRIMARY KEY (Sno,Cno),                     /* 主码由两个属性构成，必须作为表级完整性进行定义*/
FOREIGN KEY (Sno) REFERENCES Student(Sno)  /* 表级完整性约束条件，Sno是外码，被参照表是Student */
ON DELETE CASCADE        /*级联删除SC表中相应的元组*/
ON UPDATE CASCADE,      /*级联更新SC表中相应的元组*/
FOREIGN KEY (Cno) REFERENCES Course(Cno)	                    
ON DELETE NO ACTION 	
/*当删除course 表中的元组造成了与SC表不一致时拒绝删除*/
ON UPDATE CASCADE   
/*当更新course表中的cno时，级联更新SC表中相应的元组*/
);

5.3 用户定义的完整性

用户定义的完整性是：针对某一具体应用的数据必须满足的语义要求

5.3.1 属性上的约束条件

1.属性上约束条件的定义
CREATE TABLE时定义属性上的约束条件
①列值非空（NOT NULL）
②列值唯一（UNIQUE）
③检查列值是否满足一个条件表达式（CHECK）
（1）不允许取

CREATE TABLE  SC
(
Sno   CHAR(9)  NOT NULL,
Cno   CHAR(4)  NOT NULL,
Grade  SMALLINT,
PRIMARY KEY (Sno,Cno),                     /* 主码由两个属性构成，必须作为表级完整性进行定义*/
… 
              /* 如果在表级定义实体完整性，隐含了Sno，Cno不允许取空值，则在  
             列级不允许取空值的定义 可以不写 * /
); 

（2）列值唯一
例5.6建立部门表DEPT，要求部门名称Dname列取值唯一，部门编号Deptno列为主码

CREATE TABLE DEPT(
Deptno NUMERIC(2),
Dname CHAR(9) UNIQUE NOT NULL,--要求Dname列值唯一，且不能取空值
Location CHAR(10),
PRIMARY KEY(Deptno)
)

（3）用CHECK短语指定列值应该满足的条件
例5.7 Student表的Ssex只允许取“男”或“女”。

CREATE TABLE Student          
 (	
 Sno CHAR(9) PRIMARY KEY,--列级完整性约束条件,Sno是主码               
 Sname CHAR(20) NOT NULL,-- Sname取唯一值
 Ssex CHAR(2) CHECK(Ssex IN('男','女')),
 Sage SMALLINT,
 Sdept CHAR(20)
 ); 

例5.8 SC表的Grade的值应该在0和100之间

 DROP TABLE IF EXISTS SC
CREATE TABLE  SC
 (
 Sno CHAR(9), 
 Cno CHAR(4),  
 Grade SMALLINT CHECK(Grade>=0 AND Grade<=100),--Grade取值范围是0到100
 PRIMARY KEY (Sno,Cno),                     
 FOREIGN KEY (Sno) REFERENCES Student(Sno),  
 FOREIGN KEY (Cno)REFERENCES Course(Cno)    
 ); 

2.属性上的约束条件检查和违约处理
插入元组或修改属性的值时，关系数据库管理系统检查属性上的约束条件是否被满足，如果不满足则操作被拒绝执行。

5.3.2 元组上的约束条件

1.元组上约束条件的定义
在CREATE TABLE时可以用CHECK短语定义元组上的约束条件，即元组级的限制
例5.9当学生的性别是男时，其名字不能以Ms.打头。

CREATE TABLE Student          
 (	
 Sno CHAR(9),            
 Sname CHAR(20) NOT NULL,
 Ssex CHAR(2) ,
 Sage SMALLINT,
 Sdept CHAR(20)
 PRIMARY KEY(Sno),
 CHECK(Ssex='女'OR Sname NOT LIKE 'Ms.%')
 ); 

性别是女性的元组都能通过该项检查，因为Ssex=‘女’成立;
当性别是男性时，要通过检查则名字一定不能以Ms.打头
2.元组上的约束条件检查和违约处理
插入元组或修改属性的值时，关系数据库管理系统检查元组上的约束条件是否被满足
如果不满足则操作被拒绝执行

5.4 完整性约束命名子句

1.完整性约束命名子句

CONSTRAINT <完整性约束条件名><完整性约束条件>

<完整性约束条件>包括NOT NULL、UNIQUE、PRIMARY KEY短语、FOREIGN KEY短语、CHECK短语等
例5.10建立学生登记表Student，要求学号在90000~99999之间，姓名不能取空值，年龄小于30，性别只能是“男”或“女”。

CREATE TABLE Student
( Sno NUMERIC(6)
	CONSTRAINT C1 CHECK(Sno BETWEEN 90000 AND 99999),
  Sname CHAR(20)
	CONSTRAINT C2 NOT NULL,
  Sage NUMERIC(3)
	CONSTRAINT C3 CHECK(Sage<30),
  Ssex CHAR(2)
	CONSTRAINT C4 CHECK(Ssex IN('男','女')),
	CONSTRAINT StudentKey PRIMARY KEY(Sno),
)

在Student表上建立了5个约束条件，包括主码约束（命名为StudentKey）以及C1、C2、C3、C4四个列级约束。

例5.11建立教师表TEACHER，要求每个教师的应发工资不低于3000元。应发工资是工资列Sal与扣除项Deduct之和。

CREATE TABLE TEACHER
(Eno NUMERIC(4) PRIMARY KEY,
 Ename CHAR(10),
 Job CHAR(8),
 Sal NUMERIC(7,2),
 Deduct NUMERIC(7,2),
 Deptno NUMERIC(2),
 CONSTRAINT TEACHERFKey FOREIGN KEY (Deptno) 		  
 REFERENCES DEPT(Deptno),
CONSTRAINT C1 CHECK (Sal + Deduct >= 3000) 
)

2.修改表中的完整性限制
使用ALTER TABLE语句修改表中的完整性限制
例5.12去掉例5.10 Student表中对性别的限制。

ALTER TABLE Student
	DROP CONSTRAINT C4;

例5.13 修改表Student中的约束条件，要求学号改为在900000~999999之间，年龄由小于30改为小于40

ALTER TABLE Student
	DROP CONSTRAINT C1;
ALTER TABLE Student
	ADD CONSTRAINT C1 CHECK (Sno BETWEEN 900000 AND 999999);
ALTER TABLE Student 
	DROP CONSTRAINT C3;
ALTER TABLE Student
ADD CONSTRAINT C3 CHECK(Sage<40);

5.6 断言

SQL中，可以使用 CREATE ASSERTION语句，通过声明性断言来指定更具一般性的约束。
可以定义比较复杂的完整性约束。
断言创建以后，任何对断言中所涉及的关系的操作都会触发DBMS对断言的检查，任何使断言不为真值的操作都会被拒绝执行
1.创建断言的语句格式
CREATE ASSERTION<断言名>
每个断言都被赋予一个名字，中的约束条件与WHERE子句的条件表达式类似。

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

CREATE ASSERTION ASSE_SC_CNUM1
	CHECK(60>=ALL(SELECT count(*)
					FROM Course,SC
					WHERE SC.Cno=Course.Cno and Course.Cname='数据库')
		  );

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

CREATE ASSERTION ASSE_SC_CNUM1
	CHECK(60>=ALL(SELECT count(*)
					FROM SC
					GROUP BY cno)
		  );

2.删除断言的语句格式为

DROP ASSERTION <断言名>;

问题

在SQL server中没有ASSERTION这一关键字。老师课上说可以用RULE代替。搜了一下解决方法，要装触发器，啊好难。
SQL server中实现断言