第五章 数据库完整性课件.ppt
《第五章 数据库完整性课件.ppt》由会员分享,可在线阅读,更多相关《第五章 数据库完整性课件.ppt(84页珍藏版)》请在三一办公上搜索。
1、An Introduction to Database System,中国人民大学信息学院,数据库系统概论An Introduction to Database System第五章 数据库完整性,An Introduction to Database System,引导同学们去观察和发现问题,数据库是现实世界状态的正确的反映.那么如何确保数据库能正确反映现实世界呢?,时间,An Introduction to Database System,可能造成数据失真的因素,数据进入系统时的错误与现实世界状态不符合的、不正确的数据,An Introduction to Database System,可
2、能造成数据失真的因素,数据进入系统时的错误与现实世界状态不符合的、不正确的数据系统故障丢失了数据,An Introduction to Database System,可能造成数据失真的因素,数据进入系统时的错误与现实世界状态不符合的、不正确的数据系统故障丢失了数据相互干扰被他人覆写了,An Introduction to Database System,可能造成数据失真的因素,数据进入系统时的错误与现实世界状态不符合的、不正确的数据系统故障丢失了数据相互干扰被他人覆写了恶意破坏非法入侵与修改,An Introduction to Database System,可能造成数据失真的因素,数据进
3、入系统时的错误与现实世界状态不符合的、不正确的数据,An Introduction to Database System,引导学生进行分析和观察,有哪些具体的违反现实世界规则的情况? (以学生选课数据库为例进行讨论)学生的性别只能取“男”或者“女”成绩应在0到100分之间学生学号应唯一学生所选课程应是存在的课程学生的名字不能取“赵C”其他,An Introduction to Database System,引导学生分析和观察,这些要求可以进一步分类(分类是一种重要的研究方法,可以将问题进一步的弄清楚)关系模型要求的约束:实体完整性,参照完整性,数据类型等用户定义的约束:可以按照约束影响的范围
4、分为:单一属性上的,单一元组上的,单一表上的,多个表之间的;范围越小,维护的代价越小。在高效统一地处理各种不同的约束有困难的时候,分而治之、各个击破是好办法。,An Introduction to Database System,对问题进行抽象和定义,对于一个关系模式R,以及一组从现实世界中抽象出来的约束条件F,将F 称为“完整性约束条件”,也称为“完整性规则”,是数据库中的数据必须满足的语义约束条件对于任意的一个具体关系r R, 如何保证 F(r) 为真?,An Introduction to Database System,如何进行完整性维护系统的设计?,三件事情:1 如何表达完整性约束条
5、件?2 如何检查完整性约束条件?如何检查?3 违反条件时候的如何处理?,An Introduction to Database System,数据库完整性,1.提供定义完整性约束条件的机制SQL标准使用了一系列概念来描述完整性,包括关系模型的实体完整性、参照完整性和用户定义完整性这些完整性一般由SQL的DDL语句来实现,An Introduction to Database System,数据库完整性(续),2.提供完整性检查的方法引起数据库状态改变的操作有哪些?INSERT、UPDATE、DELETE语句执行上述操作后开始检查。3.违约处理 DBMS若发现用户的操作违背了完整性约束条件,就采
6、取一定的动作拒绝(NO ACTION)执行该操作级联(CASCADE)执行其他操作其他用户定义的操作,An Introduction to Database System,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名字句5.5 域中的完整性限制5.6 触发器5.7 小结,An Introduction to Database System,5.1 实体完整性,5.1.1 实体完整性定义5.1.2 实体完整性检查和违约处理,An Introduction to Database System,5.1.1 实体完整性定义,关系模型的实体完
7、整性CREATE TABLE中用PRIMARY KEY定义单属性构成的码有两种说明方法 定义为列级约束条件定义为表级约束条件对多个属性构成的码只有一种说明方法定义为表级约束条件,An Introduction to Database System,实体完整性定义(续),例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) );
8、(2)在表级定义主码 CREATE TABLE Student (Sno CHAR(9), Sname CHAR(20) NOT NULL, Ssex CHAR(2) , Sage SMALLINT, Sdept CHAR(20), PRIMARY KEY (Sno ) ); /*在表级定义主码*/,An Introduction to Database System,实体完整性定义(续),例2将SC表中的Sno,Cno属性组定义为码 CREATE TABLE SC (Sno CHAR(9) NOT NULL, Cno CHAR(4) NOT NULL, Grade SMALLINT, PRI
9、MARY KEY (Sno,Cno) /*只能在表级定义主码*/ );,An Introduction to Database System,5.1.2 实体完整性检查和违约处理,当用户程序对基本表插入一条记录或者对主码列进行更新操作时,RDBMS自动进行检查。包括:1. 检查主码值是否唯一,如果不唯一则拒绝插入或修改2. 检查主码的各个属性是否为空,只要有一个为空就拒绝插入或修改检查记录中主码值是否唯一的一种方法是进行全表扫描依次判断表中每一条记录的主码值与将插入记录上的主码值(或者修改的新主码值)是否相同,An Introduction to Database System,实体完整性检查
10、和违约处理(续),用全表扫描方法检查主码唯一性,全表扫描缺点:十分耗时为避免对基本表进行全表扫描,RDBMS核心一般都在主码上自动建立一个索引,An Introduction to Database System,实体完整性检查和违约处理(续),通过B+树索引查找基本表中是否已经存在新的主码值,可以提高效率,如果新插入记录的主码值是25通过主码索引,从B+树的根结点开始查找读取3个结点:根结点(51)中间结点(12 30)叶结点(15 20 25)该主码值已经存在,不能插入这条记录,使用索引检查主码唯一,An Introduction to Database System,第五章 数据库完整性
11、,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名字句5.5 域中的完整性限制5.6 触发器5.7 小结,An Introduction to Database System,5.2 参照完整性,5.2.1 参照完整性定义在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码用REFERENCES短语指明这些外码参照哪些表的主码 5.2.2 参照完整性检查和违约处理,An Introduction to Database System,参照完整性定义(续),例3 定义SC中的参照完整性 CREATE TABLE SC (Sno CHAR(9)
12、 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) /*在表级定义参照完整性*/ );,An Introduction to Database System,5.2 参照完整性,5.2.1 参照完整性定义5.2.2 参照完整性检查和违约处理一个参照完整性将两个表中的相应元组联系
13、起来对被参照表和参照表进行增删改操作时有可能破坏参照完整性,必须进行检查,An Introduction to Database System,参照完整性检查 (续),例如,对表SC和Student有四种可能破坏参照完整性的情况 1. SC表中增加一个元组,该元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等。2. 修改SC表中的一个元组,修改后该元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等。3. 从Student表中删除一个元组,造成SC表中某些元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等。
14、4. 修改Student表中一个元组的Sno属性,造成SC表中某些元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等,An Introduction to Database System,参照完整性检查和违约处理(续),可能破坏参照完整性的情况及违约处理,An Introduction to Database System,违约处理,参照完整性违约处理1. 拒绝(NO ACTION)执行不允许该操作执行。一般设置为默认策略。2. 级连(CASCADE)操作当删除或修改被参照表(Student)的一个元组造成了与参照表(SC)的不一致,则删除或修改参照表中的所有造成
15、不一致的元组例如,删除Student表中的元组,Sno值为200215121,则从要SC表中级连删除 SC.Sno=200215121的所有元组3. 设置为空值(SET-NULL)当删除或修改被参照表的一个元组时造成了不一致,则将参照表中的所有造成不一致的元组的对应属性设置为空值。,An Introduction to Database System,违约处理(续),3. 设置为空值(SET-NULL)(续)例如,有下面2个关系 学生(学号,姓名,性别,专业号,年龄) 专业(专业号,专业名)假设专业表中某个元组被删除,专业号为12按照设置为空值的策略,就要把学生表中专业号=12的所有元组的专业
16、号设置为空值。对应语义:某个专业删除了,该专业的所有学生专业未定,等待重新分配专业,外码,An Introduction to Database System,违约处理(续),对于参照完整性,除了应该定义外码,还应定义外码列是否允许空值 在学生表中,“专业号”是外码,可以取空值,表示这个学生的专业尚未确定 学生选课数据库中Student关系为被参照关系,其主码为SnoSC为参照关系,Sno为外码同时Sno为SC的主属性,按照实体完整性Sno不能为空值若SC的Sno为空值,则表明尚不存在的某个学生,或者某个不知学号的学生,选修了某门课程,其成绩记录在Grade列中,这与学校的应用环境是不相符的因
17、此SC的Sno列不能取空值。同样,SC的Cno列不能取空值 一般地,当对参照表和被参照表的操作违反了参照完整性,系统选用默认策略,即拒绝执行。如果想让系统采用其他的策略则必须在创建表的时候显式地加以说明,An Introduction to Database System,违约处理(续),例4 显式说明参照完整性的违约处理示例 CREATE TABLE SC (Sno CHAR(9) , Cno CHAR(4) , Grade SMALLINT, PRIMARY KEY(Sno,Cno), FOREIGN KEY (Sno) REFERENCES Student(Sno) ON DELETE
18、CASCADE /*级连删除SC表中相应的元组*/ ON UPDATE CASCADE, /*级连更新SC表中相应的元组*/ FOREIGN KEY (Cno) REFERENCES Course(Cno) ON DELETE NO ACTION /*当删除course 表中的元组造成了与SC表不一致时拒绝删除*/ ON UPDATE CASCADE /*当更新course表中的cno时,级连更新SC表中相应的元组*/ );,An Introduction to Database System,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束
19、命名字句5.5 域中的完整性限制5.6 触发器5.7 小结,An Introduction to Database System,5.3 用户定义的完整性,用户定义的完整性就是针对某一具体应用的数据必须满足的语义要求 RDBMS都提供了定义和检验这类完整性的机制,使用了和实体完整性、参照完整性相同的技术和方法来处理它们,而不必由应用程序承担这一功能,An Introduction to Database System,5.3 用户定义的完整性,5.3.1 属性上的约束条件的定义5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 5.3.4元组上的约束条件检查和违约处
20、理,An Introduction to Database System,5.3.1 属性上的约束条件的定义,在CREATE TABLE定义属性的同时可以根据应用要求,定义属性上的约束条件,即属性值限制,包括:列值非空(NOT NULL短语)列值唯一(UNIQUE短语)检查列值是否满足某个条件(CHECK短语),An Introduction to Database System,属性上的约束条件的定义(续),1.不允许取空值 例5 在定义SC表时,说明Sno、Cno、Grade属性不允许取空值。 CREATE TABLE SC (Sno CHAR(9) , Cno CHAR(4), Grad
21、e SMALLINT NOT NULL, PRIMARY KEY (Sno, Cno), /* 如果在表级定义实体完整性,隐含了Sno,Cno*/ /*不允许取空值,则在列级不允许取空值的定义就不必写了*/ FOREIGN KEY (Sno) REFERENCES Student(Sno), /*在表级定义参照完整性*/ FOREIGN KEY (Cno) REFERENCES Course(Cno) /*在表级定义参照完整性*/);,An Introduction to Database System,属性上的约束条件的定义(续),2.列值唯一 例6建立部门表DEPT,要求部门名称Dname
22、列取值唯 一,部门编号Deptno列为主码 CREATE TABLE DEPT ( Deptno NUMERIC(2), Dname CHAR(9) UNIQUE,/*要求Dname列值唯一*/ Location CHAR(10), PRIMARY KEY (Deptno) );,An Introduction to Database System,属性上的约束条件的定义(续),3. 用CHECK短语指定列值应该满足的条件例7Student表的Ssex只允许取“男”或“女”。 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY, Sname CHAR(8
23、) NOT NULL, Ssex CHAR(2) CHECK (Ssex IN (男,女) ) , /*性别属性Ssex只允许取男或女 */ Sage SMALLINT, Sdept CHAR(20) );,An Introduction to Database System,属性上的约束条件的定义(续),3. 用CHECK短语指定列值应该满足的条件 例8SC表的Grade的值应该在0和100之间 CREATE TABLE SC (Sno CHAR(9) , Cno CHAR(4) , Grade SMALLINT CHECK (Grade=0 AND Grade =100), PRIMARY
24、 KEY (Sno,Cno), FOREIGN KEY (Sno) REFERENCES Student(Sno), FOREIGN KEY (Cno) REFERENCES Course(Cno) );,An Introduction to Database System,5.3 用户定义的完整性,5.3.1 属性上的约束条件的定义5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 5.3.4元组上的约束条件检查和违约处理,An Introduction to Database System,5.3.2 属性上的约束条件检查和违约处理,当往表中插入元组或修改属性的
25、值时,RDBMS就检查属性上的约束条件是否被满足如果不满足则操作被拒绝执行,An Introduction to Database System,5.3 用户定义的完整性,5.3.1 属性上的约束条件的定义5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 5.3.4元组上的约束条件检查和违约处理,An Introduction to Database System,5.3.3 元组上的约束条件的定义,在CREATE TABLE语句中可以用CHECK短语定义元组上的约束条件,即元组级的限制同属性值限制相比,元组级的限制可以设置不同属性之间的取值的相互约束条件,An
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第五章 数据库完整性课件 第五 数据库 完整性 课件
![提示](https://www.31ppt.com/images/bang_tan.gif)
链接地址:https://www.31ppt.com/p-1526422.html