数据库系统概论(第五版)ppt第5章课件.ppt
《数据库系统概论(第五版)ppt第5章课件.ppt》由会员分享,可在线阅读,更多相关《数据库系统概论(第五版)ppt第5章课件.ppt(73页珍藏版)》请在三一办公上搜索。
1、,数据库系统概论An Introduction to Database System第五章 数据库完整性,xx大学信息学院,数据库完整性,数据库的完整性数据的正确性是指数据是符合现实世界语义,反映了当前实际状况的数据的相容性是指数据库同一对象在不同关系表中的数据是符合逻辑的例如,学生的学号必须唯一性别只能是男或女本科学生年龄的取值范围为1450的整数学生所选的课程必须是学校开设的课程,学生所在的院系必须是学校已成立的院系等,数据库完整性(续),数据的完整性和安全性是两个不同概念数据的完整性防止数据库中存在不符合语义的数据,也就是防止数据库中存在不正确的数据防范对象:不合语义的、不正确的数据数据
2、的安全性保护数据库 防止恶意的破坏和非法的存取防范对象:非法用户和非法操作,数据库完整性(续),为维护数据库的完整性,数据库管理系统必须:1.提供定义完整性约束条件的机制完整性约束条件也称为完整性规则,是数据库中的数据必须满足的语义约束条件SQL标准使用了一系列概念来描述完整性,包括关系模型的实体完整性、参照完整性和用户定义完整性这些完整性一般由SQL的数据定义语言语句来实现,数据库完整性(续),2.提供完整性检查的方法数据库管理系统中检查数据是否满足完整性约束条件的机制称为完整性检查。一般在INSERT、UPDATE、DELETE语句执行后开始检查,也可以在事务提交时检查,数据库完整性(续)
3、,3.违约处理 数据库管理系统若发现用户的操作违背了完整性约束条件,就采取一定的动作拒绝(NO ACTION)执行该操作级连(CASCADE)执行其他操作,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名字句*5.5 域中的完整性限制5.6 断言5.7 触发器5.8 小结,5.1 实体完整性,5.1.1 实体完整性定义5.1.2 实体完整性检查和违约处理,5.1.1 实体完整性定义,关系模型的实体完整性CREATE TABLE中用PRIMARY KEY定义单属性构成的码有两种说明方法 定义为列级约束条件定义为表级约束条件对多个属性构成的码
4、只有一种说明方法定义为表级约束条件,实体完整性定义(续),例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 Student ( Sno CHAR(9), Sname CHAR(20) NOT NULL, Ssex CHAR(2), Sage SMALLINT, Sd
5、ept CHAR(20), PRIMARY KEY (Sno) );,实体完整性定义(续),例5.2 将SC表中的Sno,Cno属性组定义为码 CREATE TABLE SC ( Sno CHAR(9) NOT NULL, Cno CHAR(4) NOT NULL, Grade SMALLINT, PRIMARY KEY (Sno,Cno) /*只能在表级定义主码*/ );,5.1 实体完整性,5.1.1 实体完整性定义5.1.2 实体完整性检查和违约处理,5.1.2 实体完整性检查和违约处理,插入或对主码列进行更新操作时,关系数据库管理系统按照实体完整性规则自动进行检查。包括:检查主码值是否
6、唯一,如果不唯一则拒绝插入或修改检查主码的各个属性是否为空,只要有一个为空就拒绝插入或修改,实体完整性检查和违约处理(续),检查记录中主码值是否唯一的一种方法是进行全表扫描依次判断表中每一条记录的主码值与将插入记录上的主码值(或者修改的新主码值)是否相同,实体完整性检查和违约处理(续),表扫描缺点十分耗时为避免对基本表进行全表扫描,RDBMS核心一般都在主码上自动建立一个索引,实体完整性检查和违约处理(续),B+树索引例如,新插入记录的主码值是25通过主码索引,从B+树的根结点开始查找读取3个结点:根结点(51)、中间结点(12 30)、叶结点(15 20 25)该主码值已经存在,不能插入这条
7、记录,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名字句*5.5 域中的完整性限制5.6 断言5.7 触发器5.8 小结,5.2 参照完整性,5.2.1 参照完整性定义5.2.2 参照完整性检查和违约处理,5.2.1 参照完整性定义,关系模型的参照完整性定义在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码用REFERENCES短语指明这些外码参照哪些表的主码,参照完整性定义(续),例如,关系SC中(Sno,Cno)是主码。Sno,Cno分别参照Student表 的主码和Course表的主码 例5.3定义SC中的参
8、照完整性 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 参照完整性,5.2.1 参照完整性定义5.2.2 参照完整性检查和违约处理,参照完整性检查和违约处理,一个参照完整
9、性将两个表中的相应元组联系起来对被参照表和参照表进行增删改操作时有可能破坏参照完整性,必须进行检查,参照完整性检查和违约处理(续),例如,对表SC和Student有四种可能破坏参照完整性的情况 :SC表中增加一个元组,该元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等。修改SC表中的一个元组,修改后该元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等。,参照完整性检查和违约处理(续),例如,对表SC和Student有四种可能破坏参照完整性的情况 (续):从Student表中删除一个元组,造成SC表中某些元组的Sno属性的值在表Stu
10、dent中找不到一个元组,其Sno属性的值与之相等。修改Student表中一个元组的Sno属性,造成SC表中某些元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等 。,参照完整性检查和违约处理(续),表5.1 可能破坏参照完整性的情况及违约处理,参照完整性检查和违约处理(续),参照完整性违约处理(1) 拒绝(NO ACTION)执行不允许该操作执行。该策略一般设置为默认策略(2) 级联(CASCADE)操作当删除或修改被参照表(Student)的一个元组造成了与参照表(SC)的不一致,则删除或修改参照表中的所有造成不一致的元组(3)设置为空值(SET-NULL)当
11、删除或修改被参照表的一个元组时造成了不一致,则将参照表中的所有造成不一致的元组的对应属性设置为空值。,参照完整性检查和违约处理(续),例如,有下面2个关系 学生(学号,姓名,性别,专业号,年龄) 专业(专业号,专业名)假设专业表中某个元组被删除,专业号为12按照设置为空值的策略,就要把学生表中专业号=12的所有元组的专业号设置为空值对应语义:某个专业删除了,该专业的所有学生专业未定,等待重新分配专业,外码,参照完整性检查和违约处理(续),对于参照完整性,除了应该定义外码,还应定义外码列是否允许空值 参见爱课程网数据库系统概论5.2节动画参照完整性,参照完整性检查和违约处理(续),例5.4 显式
12、说明参照完整性的违约处理示例 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 /*当删除cour
13、se 表中的元组造成了与SC表不一致时拒绝删除*/ ON UPDATE CASCADE /*当更新course表中的cno时,级联更新SC表中相应的元组*/ );,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名字句*5.5 域中的完整性限制5.6 断言5.7 触发器5.8 小结,5.3 用户定义的完整性,用户定义的完整性是:针对某一具体应用的数据必须满足的语义要求 关系数据库管理系统提供了定义和检验用户定义完整性的机制,不必由应用程序承担,5.3 用户定义的完整性,5.3.1 属性上的约束条件5.3.2 元组上的约束条件,1. 属性上约
14、束条件的定义,CREATE TABLE时定义属性上的约束条件列值非空(NOT NULL)列值唯一(UNIQUE)检查列值是否满足一个条件表达式(CHECK),属性上约束条件的定义(续),(1)不允许取空值 例5.5 在定义SC表时,说明Sno、Cno、Grade属性不允许取空值。 CREATE TABLE SC ( Sno CHAR(9) NOT NULL, Cno CHAR(4) NOT NULL, Grade SMALLINT NOT NULL, PRIMARY KEY (Sno, Cno), /* 如果在表级定义实体完整性,隐含了Sno,Cno不允许取空值,则在 列级不允许取空值的定义
15、可以不写 * / );,属性上约束条件的定义(续),(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 S
16、tudent ( Sno CHAR(9) PRIMARY KEY, Sname CHAR(8) NOT NULL, Ssex CHAR(2) CHECK (Ssex IN (男,女), /*性别属性Ssex只允许取男或女 */ Sage SMALLINT, Sdept CHAR(20) );,属性上约束条件的定义(续),例5.8 SC表的Grade的值应该在0和100之间。 CREATE TABLE SC ( Sno CHAR(9) , Cno CHAR(4),Grade SMALLINT CHECK (Grade=0 AND Grade =100), /*Grade取值范围是0到100*/
17、PRIMARY KEY (Sno,Cno), FOREIGN KEY (Sno) REFERENCES Student(Sno), FOREIGN KEY (Cno) REFERENCES Course(Cno) );,属性上的约束条件检查和违约处理插入元组或修改属性的值时,关系数据库管理系统检查属性上的约束条件是否被满足如果不满足则操作被拒绝执行,2. 属性上的约束条件检查和违约处理,5.3 用户定义的完整性,5.3.1 属性上的约束条件5.3.2 元组上的约束条件,1. 元组上约束条件的定义,在CREATE TABLE时可以用CHECK短语定义元组上的约束条件,即元组级的限制同属性值限制相
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数据库 系统 概论 第五 ppt 课件
![提示](https://www.31ppt.com/images/bang_tan.gif)
链接地址:https://www.31ppt.com/p-1921399.html