DB05数据库教学市公开课金奖市赛课一等奖课件

1、第5章 数据库完整性本章重点：掌握数据库完整性约束定义、检验方法及违约处理掌握触发器定义及存放过程定义本章难点： 触发器定义及存放过程定义了解内容： 域中完整性控制第1页第5章 数据库完整性数据库完整性数据正确性和相容性数据完整性和安全性是两个不一样概念数据完整性预防数据库中存在不符合语义数据，也就是预防数据库中存在不正确数据防范对象：不合语义、不正确数据数据安全性保护数据库预防恶意破坏和非法存取防范对象：非法用户和非法操作第2页第5章 数据库完整性为维护数据库完整性，DBMS必须：1.提供定义完整性约束条件机制2.提供完整性检验方法3.违约处理第3页实体完整性参考完整性用户定义完整性完整性约

2、束命名字句触发器存放过程第5章 数据库完整性第4页5.1 实体完整性实体完整性定义实体完整性检验和违约处理第5页5.1.1 实体完整性定义关系模型实体完整性CREATE TABLE中用PRIMARY KEY定义单属性组成码有两种说明方法 定义为列级约束条件定义为表级约束条件对多个属性组成码只有一个说明方法定义为表级约束条件 第6页5.1.1 实体完整性定义例1 将Student表中Sno属性定义为码 (1)在列级定义主码 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ，

3、Sage SMALLINT， Sdept CHAR(20);第7页(2)在表级定义主码 CREATE TABLE Student (Sno CHAR(9)， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20)， PRIMARY KEY (Sno) ); 5.1.1 实体完整性定义第8页5.1.1 实体完整性定义例2 将SC表中Sno，Cno属性组定义为码 CREATE TABLE SC (Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT，

4、PRIMARY KEY (Sno，Cno) /*只能在表级定义主码*/ ); 第9页5.1.2 实体完整性检验和违约处理插入或对主码列进行更新操作时，RDBMS按照实体完整性规则自动进行检验。包含：1. 检验主码值是否唯一，假如不唯一则拒绝插入或修改2. 检验主码各个属性是否为空，只要有一个为空就拒绝插入或修改第10页检验统计中主码值是否唯一一个方法是进行全表扫描5.1.2 实体完整性检验和违约处理第11页5.1.2 实体完整性检验和违约处理索引 第12页5.2 参考完整性参考完整性定义参考完整性检验和违约处理第13页5.2.1 参考完整性定义关系模型参考完整性定义在CREATE TABLE中

5、用FOREIGN KEY短语定义哪些列为外码用REFERENCES短语指明这些外码参考哪些表主码 第14页例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

6、.2.1 参考完整性定义第15页5.2.2 参考完整性检验和违约处理可能破坏参考完整性情况及违约处理被参考表（比如Student）参考表（比如SC）违约处理可能破坏参考完整性 插入元组拒绝可能破坏参考完整性 修改外码值拒绝删除元组 可能破坏参考完整性拒绝/级连删除/设置为空值修改主码值 可能破坏参考完整性拒绝/级连修改/设置为空值第16页参考完整性违约处理1. 拒绝(NO ACTION)执行默认策略2. 级联(CASCADE)操作3. 设置为空值（SET-NULL）对于参考完整性，除了应该定义外码，还应定义外码列是否允许空值5.2.2 参考完整性检验和违约处理第17页例3 显式说明参考完整性违

7、约处理示例 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) ON DELETE CASCADE /*级联删除SC表中对应元组*/ ON UPDATE CASCADE， /*级联更新SC表中对应元组*/ FOREIGN KEY (Cno) REFERENCES Course(Cno) ON DELETE NO ACTION /*当删除course 表中元组造成了与S

8、C表不一致时拒绝删除*/ ON UPDATE CASCADE /*当更新course表中cno时，级联更新SC表中对应元组*/ )；5.2.2 参考完整性检验和违约处理第18页5.3 用户定义完整性用户定义完整性就是针对某一详细应用数据必须满足语义要求 RDBMS提供，而无须由应用程序负担第19页5.3.1 属性上约束条件定义CREATE TABLE时定义列值非空（NOT NULL）列值唯一（UNIQUE）检验列值是否满足一个布尔表示式（CHECK）第20页5.3.1 属性上约束条件定义1.不允许取空值 例5 在定义SC表时，说明Sno、Cno、Grade属性不允许取空值。 CREATE TA

9、BLE SC （Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT NOT NULL， PRIMARY KEY (Sno， Cno)， /* 假如在表级定义实体完整性，隐含了Sno，Cno不允许取空值，则在列级不允许取空值定义就无须写了 * / ）； 第21页2.列值唯一 例6 建立部门表DEPT，要求部门名称Dname列取值唯一，部门编号Deptno列为主码 CREATE TABLE DEPT (Deptno NUMERIC(2)， Dname CHAR(9) UNIQUE，/*要求Dname列值唯一*/ Location C

10、HAR(10)， PRIMARY KEY (Deptno) )；5.3.1 属性上约束条件定义第22页3. 用CHECK短语指定列值应该满足条件例7 Student表Ssex只允许取“男”或“女”。 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY， Sname CHAR(8) NOT NULL， Ssex CHAR(2) CHECK (Ssex IN (男 , 女) ) ， /*性别属性Ssex只允许取男或女 */ Sage SMALLINT， Sdept CHAR(20) );5.3.1 属性上约束条件定义第23页5.3.1 属性上约束条件定义例8

11、 SC表Grade值应在0到100之间 CREATE TABLE SC (Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT Check(Grade=0 and Grade=100), PRIMARY KEY (Sno， Cno), /*在表级定义实体完整性*/ FOREIGN KEY (Sno) REFERENCES Student(Sno)， FOREIGN KEY (Cno) REFERENCES Course(Cno) );第24页5.3.2 属性上约束条件检验和违约处理插入元组或修改属性值时，RDBMS检验属性上约束条

12、件是否被满足假如不满足则操作被拒绝执行 第25页5.3.3 元组上约束条件定义例9 当学生性别是男时，其名字不能以Ms.打头。 CREATE TABLE Student (Sno CHAR(9)， Sname CHAR(8) NOT NULL， Ssex CHAR(2)， Sage SMALLINT， Sdept CHAR(20)， PRIMARY KEY (Sno)， CHECK (Ssex=女 OR Sname NOT LIKE Ms.%) /*定义了元组中Sname和 Ssex两个属性值之间约束条件*/ )；性别是女性元组都能经过该项检验，因为Ssex=女成立；当性别是男性时，要经过检验

13、则名字一定不能以Ms.打头第26页5.3.4 元组上约束条件检验和违约处理插入元组或修改属性值时，RDBMS检验元组上约束条件是否被满足假如不满足则操作被拒绝执行 第27页5.4 完整性约束命名子句1.CONSTRAINT 约束子句CONSTRAINT PRIMARY KEY短语 |FOREIGN KEY短语 |CHECK短语第28页5.4 完整性约束命名子句例10 建立学生记录表Student，要求学号在9000099999之间，姓名不能取空值，年纪小于30，性别只能是“男”或“女”。 CREATE TABLE Student (Sno NUMERIC(6) CONSTRAINT C1 CH

14、ECK (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四个列级约束。第29页2. 修改表中完整性限制使用ALTER TAB

15、LE语句修改表中完整性限制5.4 完整性约束命名子句例12 去掉例10 student表中对性别限制 ALTER TABLE Student DROP CONSTRAINT C4第30页例13 修改表Student中约束条件，要求学号改为在900000999999之间，年纪由小于30改为小于40能够先删除原来约束条件，再增加新约束条件 ALTER TABLE Student DROP CONSTRAINT C1; ALTER TABLE Student ADD CONSTRAINT C1 CHECK (Sno BETWEEN 900000 AND 999999)， ALTER TABLE St

16、udent DROP CONSTRAINT C3; ALTER TABLE Student ADD CONSTRAINT C3 CHECK (Sage 40)；5.4 完整性约束命名子句第31页5.5 触发器触发器（Trigger）是用户定义在关系表上一类由事件驱动特殊过程由服务器自动激活能够进行更为复杂检验和操作，含有更精细和更强大数据控制能力 第32页SnoSnameSsex95001张勇男95002赵楠男95003宋佳女Student表CnoCnameCpno1计算机基础2C语言13软件工程4Course表SnoCnoScore950011 90950022 85SC表应用实例5.5 触

17、发器第33页5.5.1 定义触发器CREATE TRIGGER语法格式CREATE TRIGGER 触发器名称ON 表名（触发器定义在哪个表上）FOR DELETE, INSERT, UPDATE AS BEGIN触发体END第34页定义触发器语法说明:1. 触发器名2. 表名：触发器目标表3. 触发事件：INSERT、DELETE、UPDATE5.5.1 定义触发器第35页比如,假设在Student表上创建了一个UPDATE触发器。CREATE TRIGGER update_sno ON Student FOR updateAS if update(sno) begin update sc

18、set sno=c.sno from deleted b,inserted c where sc.sno=b.sno end5.5.1 定义触发器第36页4. 触发条件触发条件为真省略WHERE触发条件5. 触发动作体触发动作体能够是一个匿名PL/SQL过程块也能够是对已创建存放过程调用5.5.1 定义触发器第37页插入视图和删除视图(SQL SERVER)当在定义了触发器表上发生修改操作时，会派生出两个视图，一个是插入视图，一个是删除视图。当在表上发生插入操作时，新插入行将出现在插入视图中；当在表上发生删除操作时，被删除行将出现在删除视图中；当在表上发生更新操作时，旧行出现在删除视图中，而新

19、行出现在插入视图中。（更新实现过程是先删除旧行，然后插入新行）这里插入视图和删除视图只在触发器内可用，一旦触发器完成任务，这两个视图将不再存在。这两个视图名称分别是insterted和deleted，他们和原表含有完全相同结构。5.5.1 定义触发器第38页假如从student表中删除学生基本信息，则从SC中删除全部该学生成绩信息。CREATE TRIGGER delete_sno ON Student FOR deleteAS begin delete sc from sc,deleted a where sc.sno=b.sno end第39页假如从student表中插入学生基本信息，则从student1中插入该学生信息。CREATE TR