数据库系统概论之数据库完整性课件

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,什么是数据库的完整性,数据的正确性和相容性,防止不合语义的数据进入数据库。,关注 是否真实地反映现实世界,例,:,学生的年龄必须是整数，取值范围为,14-29,；,学生的性别只能是男或女；,学生的学号一定是唯一的；,学生所在的系必须是学校开设的系；,提纲,5.1,实体完整性,5.2,参照完整性,5.3,用户定义完整性,5.4,完整性约束命名子句,5.5,触发器,19.11.2024,1,什么是数据库的完整性29.09.20231,数据库的完整性与安全性区别和联系,两个不同的概念,但有一定的联系,;,前者是为了防止数据库中存在不符合语义的数据,防止错误信息的输入和输出,既所谓的垃圾进垃圾出,(Garbage in Garbage out),所造成的无效操作和错误结果,;,后者是保护数据库防止恶意的破坏和非法存取,;,安全性措施防范的对象是非法用户,完整性措施的防范对象是不合语义的数据,.,完整性控制机制,1.,完整性约束条件定义机制,2.,完整性检查机制,3.,违约处理,19.11.2024,2,数据库的完整性与安全性区别和联系两个不同的概念,但有一定的,完整性约束条件定义,完整性约束条件：数据模型的组成部分约束数据库中数据的语义,DBMS,应提供定义数据库完整性约束条件，并把它们作为模式的一部分存入数据库中,19.11.2024,3,完整性约束条件定义完整性约束条件：数据模型的组成部分约束数据,完整性检查机制,检查用户发出的操作请求是否违背了完整性约束条件,19.11.2024,4,完整性检查机制检查用户发出的操作请求是否违背了完整性约束条件,违约处理,如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的动作来保证数据的完整性。,19.11.2024,5,违约处理如果发现用户的操作请求使数据违背了完整性约束条件，则,完整性约束条件,完整性约束条件作用的对象,列：对属性的取值类型、范围、精度等的约束条件,元组：对元组中各个属性列间的联系的约束,关系：对若干元组间、关系集合上以及关系之间的联系的约束,19.11.2024,6,完整性约束条件完整性约束条件作用的对象29.09.20236,完整性约束条件（续）,静态,对静态对象的约束是反映数据库状态合理性的约束,动态,对动态对象的约束是反映数据库状态变迁的约束,19.11.2024,7,完整性约束条件（续）静态29.09.20237,完整性约束条件分类,六类完整性约束条件,静态列级约束,静态元组约束,静态关系约束,动态列级约束,动态元组约束,动态关系约束,19.11.2024,8,完整性约束条件分类六类完整性约束条件29.09.20238,完整性约束条件（续）,1.,静态列级约束,静态列级约束：对的取值域的说明,最常见、最简单、最容易实现的一类完整性约束,19.11.2024,9,完整性约束条件（续）1. 静态列级约束29.09.20239,完整性约束条件（续）,五类静态列级约束,1),数据类型约束：数据的类型、长度、单位、精度等,例：学生姓名的数据类型为字符型，长度为,8,2),对数据格式的约束,例：,学号：前两位表示入学年份，后四位为顺序编号,日期：,YY.MM.DD,。,19.11.2024,10,完整性约束条件（续）五类静态列级约束29.09.202310,补充：,完整性约束条件（续）,3),取值范围或取值集合的约束,例：规定成绩的取值范围为,0-100,年龄的取值范围为,14-29,性别的取值集合为,男,女,4),对空值的约束,空值：未定义或未知的值,空值：与零值和空格不同,有的列允许空值，有的则不允许，如成绩可为空值,5),其他约束,例：关于列的排序说明，组合列等,19.11.2024,11,补充：完整性约束条件（续）3) 取值范围或取值集合的约束29,补充：,完整性约束条件（续）,2.,静态元组约束,规定元组的各个列之间的约束关系,例：订货关系中发货量,=700,元,静态元组约束只局限在元组上,19.11.2024,12,补充：完整性约束条件（续）2. 静态元组约束29.09.20,补充：,完整性约束条件（续）,3.,静态关系约束,关系的各个元组之间或若干关系之间存在的各种联系或约束,常见静态关系约束：,1),实体完整性约束,2),参照完整性约束,3),函数依赖约束,4),统计约束,19.11.2024,13,补充：完整性约束条件（续）3. 静态关系约束29.09.20,统计约束,定义某个字段值一个关系多个元组的统计值之间的约束关系,例：职工平均工资的,2,倍,=,部门经理的工资,=,原来工资,年龄只能增长,19.11.2024,16,完整性约束条件（续）1) 修改列定义时的约束29.09.2,完整性约束条件（续）,5.,动态元组约束,修改元组值,:,各个字段之间要满足的约束条件,例,:,职工工资调整不得低于其原来工资,+,工龄,*1.5,19.11.2024,17,完整性约束条件（续）5. 动态元组约束29.09.20231,完整性约束条件（续）,6.,动态关系约束,关系变化前后状态：限制条件,例：事务一致性、原子性等约束条件,19.11.2024,18,完整性约束条件（续）6. 动态关系约束29.09.20231,5.1 实体完整性,5.1.1,实体完整性定义,5.1.2,实体完整性检查和违约处理,19.11.2024,19,5.1 实体完整性29.09.202319,5.1.1 实体完整性定义,实体完整性（,Entity Integrity,）,若属性,A,是基本关系,R,的主属性，则属性,A,不能取空值,例,SAP(SUPERVISOR,，,SPECIALITY,，,POSTGRADUATE),POSTGRADUATE,属性为主码,（假设研究生不会重名），则其不能取空值,19.11.2024,20,5.1.1 实体完整性定义实体完整性（Entity Inte,5.1.1,实体完整性定义,关系模型必须遵守实体完整性规则的,原因,实体完整性规则是针对基本关系而言的。,一个基本表通常对应现实世界的一个实体集或多对多联系。,(2),现实世界中的实体和实体间的联系都是可区分的，即它们具有某种唯一性标识。,(3),关系模型中以主码作为唯一性标识。,(4),主码中的属性即主属性不能取空值。,空值就是“不知道”或“无意义”的值。,主属性取空值，就说明存在某个不可标识的实体，即存在不可区分的实体，这与第（,2,）点相矛盾，因此这个规则称为实体完整性。,19.11.2024,21,5.1.1 实体完整性定义关系模型必须遵守实体完整性规则的原,5.1.1,实体完整性定义,关系模型的实体完整性在,Create table,中用,Primary Key,定义。,对单属性的构成的码有两种说明方法：,定义为列级约束条件,表级约束条件,对多个属性构成的码只有一种说明方法，即定义为表级约束条件,19.11.2024,22,5.1.1 实体完整性定义关系模型的实体完整性在Create,例题,1,将,Student,表中的,Sno,属性定义为码。,Create table student,(Sno char(9) primary key,/*,在列级定义主码,*/,Sname char(20) not null,Ssex char(2),Sage smallint,Sdept char(20),);,5.1.1 实体完整性定义,19.11.2024,23,例题1将Student表中的Sno属性定义为码。5.1.,5.1.1 实体完整性定义,或者,Create table student,( sno char(9),Sname char(20) not null,Ssex char(2),Sage smallint,Sdept char(20),primary key (sno) ,/*,在表级定义主码,*/,);,19.11.2024,24,5.1.1 实体完整性定义或者29.09.202324,5.1.1 实体完整性定义,例题,2,将,SC,表中的,Sno,Cno,属性组定义为码,Create table SC,( Sno char(9) not null,Cno char(4) not null,grade smallint,Primary key (Sno,Cno),/*,只能在表级定义主码,*/,),；,19.11.2024,25,5.1.1 实体完整性定义例题2 将SC表中的Sno,C,5.1.2 实体完整性检查和违约处理,用,primary key,短语定义了关系的主码后，,每当应用程序对基本表插入一条记录或者对主码列进行更新操作时，,RDBMS,将自动检查：,检查主码值是否唯一，如果不唯一则拒绝插入或修改。,检查主码地各个属性是否为空，只要一个为空就拒绝插入或修改,19.11.2024,26,5.1.2 实体完整性检查和违约处理用primary key,5.1.2 实体完整性检查和违约处理,检查主码值是否唯一的方法（,2,种）：,全表扫描,19.11.2024,27,5.1.2 实体完整性检查和违约处理检查主码值是否唯一的方法,5.1.2,实体完整性检查和违约处理,全表扫描缺点：,耗时,19.11.2024,28,5.1.2 实体完整性检查和违约处理全表扫描缺点：29.09,5.1.2 实体完整性检查和违约处理,第二种方法：建索引（如,B+,树索引）,25,51,12 30,66 78,15 20 25,3 7,30 41,68 69 71 76,79 84 93,51 54 65,新插入记录的,主码值,19.11.2024,29,5.1.2 实体完整性检查和违约处理第二种方法：建索引（如B,5.1.2,实体完整性检查和违约处理,RDBMS,核心一般都在主码上自动建立一个索引,通过索引查找基本表中是否存在新的主码值,提高效率,19.11.2024,30,5.1.2 实体完整性检查和违约处理RDBMS核心一般都在主,5.2 参照完整性,5.2.1,参照完整性定义,5.2.2,参照完整性检查和违约处,19.11.2024,31,5.2 参照完整性5.2.1 参照完整性定义29.09.,5.2.1 参照完整性定义,关系模型的参照完整性在,Create table,中用,foreign key,短语定义哪些列为外码。,19.11.2024,32,5.2.1 参照完整性定义关系模型的参照完整性在Creat,5.2.1 参照完整性定义,例题,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 student(Cno,),/*,在表级定义,参照完整性,*/,),；,19.11.2024,33,5.2.1 参照完整性定义例题3 定义SC中的参考完,5.2.2,参照完整性检查和违约处理,参照完整性将两个表中的相应元组联系起来后。,当进行增删操作时有可能破坏参照完整性，必须进行检查。,19.11.2024,34,5.2.2 参照完整性检查和违约处理参照完整性将两个表中的,5.2.2,参照完整性检查和违约处理,对,SC,和,Students,有,4,种可能破坏参照完整性的情况：,SC,表中增加一个,元组，该元组的,Sno,属性值在,Students,中找不到一个元组，其,Sno,属性的值与之相等。,修改,SC,表,中的一个元组，修改后该元组的,Sno,属性在,Students,中找不到一个元组，其,Sno,属性值与之相等。,从,Students,表中删除,一个元组，造成,SC,表中某些元组的,Sno,属性值在,Students,中找不到一个元组，其,Sno,属性值与之相等。,修改,Students,表,中的一个元组的,Sno,属性，造成,SC,表中某些元组的,Sno,属性值在,Students,中找不到一个元组，其,Sno,属性值与之相等,19.11.2024,35,5.2.2 参照完整性检查和违约处理对SC和Student,表,5.1,可能破坏参照完整性的情况及违约处理,19.11.2024,36,表5.1 可能破坏参照完整性的情况及违约处理29.09.20,处理策略,1,、拒绝（,No action,）执行,不允许该操作执行。该策略一般为默认策略。,2,、级联（,Cascade,）操作,当删除或修改被参照表,(Students),的一个元组造成了与参照表（,SC,）的不一致，则删除或修改参照表中的所有造成不一致的元组。,例如，删除,Students,表中的元组，,Sno,值为,200215121,则要从,SC,表中级联删除,SC.Sno= 200215121,的所有元组。,3,、设置空值（,Set-Null,）,例如：学生（,学号,，姓名，性别，,专业号,，年龄）,专业（,专业号,，专业名）,专业号可以取空值,但在学生,-,选课数据库中，,Students,关系为被参照关系，其主码为,Sno,，,SC,为参考关系，,Sno,为外码。若,SC,的,Sno,为空值，则表明。,19.11.2024,37,处理策略1、拒绝（No action）执行29.09.202,处理策略,若违反了参照完整性，系统选用默认策略，即拒绝执行。,如果想让系统采用其他策略则必须在创建表的时候显式地加以说明。,19.11.2024,38,处理策略若违反了参照完整性，系统选用默认策略，即拒绝执行。2,例题,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), /*,在表级定义参照完整性,*/,on delete cascade /*,当删除,student,表中的元组时，级联删除,SC,表中的相应元组,*/,on update cascade, /*,当更新,student,表中的,Sno,时，级联更新,SC,表中的相应元组,*/,foreign key (sno) references courses(sno), ,/*,在表级定义参照完整性,*/,on delete no Action/*,当删除,courses,表中的元组时造成了与,SC,表不一致拒绝删除,*/,on update cascade,),；,19.11.2024,39,例题4 显式说明参照完整性的违约处理Create tab,5.3 用户定义完整性,5.3.1,属性上的约束条件的定义,5.3.2,属性上的约束条件检查和违约处理,5.3.3,元组上的约束条件的定义,5.3.4,元组上的约束条件检查和违约处理,19.11.2024,40,5.3 用户定义完整性5.3.1 属性上的约束条件的定义,5.3.1,属性上的约束条件的定义,属性值的限制，包括：,列值非空（,Not null,短语）,列值唯一（,unique,短语）,检查列值是否满足一个布尔表达式（,Check,短语）,19.11.2024,41,5.3.1 属性上的约束条件的定义属性值的限制，包括：29,5.3.1,属性上的约束条件的定义,1,、不允许取空值,例题,5,在定义,SC,表时，说明,Sno,Cno,Grade,属性不允许取空值。,Create table SC,( Sno char(9) not null,Cno char(40) not null,Grade smallint not null,Primary key (Sno, Cno),),19.11.2024,42,5.3.1 属性上的约束条件的定义1、不允许取空值29.0,5.3.1 属性上的约束条件的定义,2,、列值唯一,例题,6,建立部门表,Dept ,要求部门名称,Dname,列取值唯一，部门编号,Deptno,列为主码。,Create table dept,( Deptno numeric(2),，,Dname char(9) nuique,Location char(10),Primary key (Deptno),);,19.11.2024,43,5.3.1 属性上的约束条件的定义2、列值唯一29.09.,5.3.1 属性上的约束条件的定义,3,、用,Check,短语指定列值应该满足的条件,例题,7 Student,表的,Ssex,只允许取“男”或“女”。,Create table Students,( Sno char (9) primary key,Snome char(8) not null,Ssex char(2) check (Ssex IN (,男，女,),，,Sage smallint,Sdept Char(20),),19.11.2024,44,5.3.1 属性上的约束条件的定义3、用Check 短语指,5.3.1 属性上的约束条件的定义,例题,8 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),);,19.11.2024,45,5.3.1 属性上的约束条件的定义例题8 SC表的G,5.3 用户定义完整性,5.3.1,属性上的约束条件的定义,5.3.2,属性上的约束条件检查和违约处理,5.3.3,元组上的约束条件的定义,5.3.4,元组上的约束条件检查和违约处理,19.11.2024,46,5.3 用户定义完整性5.3.1 属性上的约束条件的定义,5.3.2,属性上的约束条件检查和违约处理,当往表中,插入元组或修改属性,的值时，,RDBMS,就检查,属性上,的约束条件是否被满足，否则拒绝执行。,19.11.2024,47,5.3.2 属性上的约束条件检查和违约处理当往表中插入元组,5.3 用户定义完整性,5.3.1,属性上的约束条件的定义,5.3.2,属性上的约束条件检查和违约处,5.3.3,元组上的约束条件的定义,5.3.4,元组上的约束条件检查和违约处,19.11.2024,48,5.3 用户定义完整性5.3.1 属性上的约束条件的定义,5.3.3,元组上的约束条件的定义,与属性上约束条件的定义类似，在,Create,语句中可以用,Check,短语定义元组上的约束条件，即元组级的限制。,例题,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 (Sex=,女,or Sname not like Ms.%),);,19.11.2024,49,5.3.3 元组上的约束条件的定义与属性上约束条件的定义类,5.3 用户定义完整性,5.3.1,属性上的约束条件的定义,5.3.2,属性上的约束条件检查和违约处,5.3.3,元组上的约束条件的定义,5.3.4,元组上的约束条件检查和违约处,19.11.2024,50,5.3 用户定义完整性5.3.1 属性上的约束条件的定义,5.3.4,元组上的约束条件检查和违约处理,当往表中插入元组或修改属性的值时，,RDBMS,就检查,元组上的约束条件,是否被满足，否则拒绝执行。,19.11.2024,51,5.3.4 元组上的约束条件检查和违约处理当往表中插入元组,5.4 完整性约束命名子句,1,、完整性约束命令子句,语法：,Constraintprimary key,短语,|foreign key,短语,|check,短语,19.11.2024,52,5.4 完整性约束命名子句1、完整性约束命令子句29.09,5.4 完整性约束命名子句,例题,10,建立学生登记表,Students,，要求学号在,90 00099 999,之间，姓名不能取空值，年龄小于,30,，性别只能是“男”或“女”。,Create table Students,( 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=3000),);,19.11.2024,54,5.4 完整性约束命名子句例题11 建立教师表tea,5.4 完整性约束命名子句,2.,修改表中的完整性限制,使用,Alter table,语句,例题,12,去掉,例题,10 Students,表中对性别的限制。,Alter table student,Drop constraint C4,19.11.2024,55,5.4 完整性约束命名子句2. 修改表中的完整性限制29.,5.4 完整性约束命名子句,例题,13,修改表,Students,表中的约束条件，要求学号改为,800 000 999 999,之间，年龄小于,30,改为,45,。,先删除原来的约束条件，再增加新的约束条件。,Alter table students,Drop constraint C1;,Alter table students,Add constraint C1 check (Sno between 800000 and 999999),Alter table students,Drop constraint C3;,Alter table students,Add constraint C3 check (Sage 45);,19.11.2024,56,5.4 完整性约束命名子句例题13 修改表 Stude,5.5 触发器,5.5.1,定义触发器,5.5.2,激活触发器,5.5.3,删除触发器,19.11.2024,57,5.5 触发器5.5.1 定义触发器29.09.2023,5.5.1,定义触发器,1,、触发器（,Trigger,）,:,定义在关系表上的一类由事件驱动的特殊过程。,2,、格式,Create trigger ,Before |After on ,For each Row|Statement,When,19.11.2024,58,5.5.1 定义触发器1、触发器（Trigger）:定义在,5.5.1,定义触发器举例,例题,18,定义一个,Before,行级触发器，为教师表,Teacher,定义完整性规则“教授的工资不得低于,4000,元，如果低于,4000,元，自动改为,4000,元”。,Create trigger,Inser_or_Sal,Before insert or update on teacher,For each row,As begin,If (new.pJob=,教授,) and (new.Sal4000) Then,new.sal:=4000;,End If;,End,；,19.11.2024,59,5.5.1 定义触发器举例例题18 定义一个Befo,5.5.1 定义触发器,例题,19,定义一个,After,行级触发器，当教师表,Teacher,的工资发生变化后就自动在工资变化表,Sal_log,中增加一条相应纪录。,Create table Sal_log,(Eno numric(4) reference teacher(eno),Sal numric(7,2),Username char(10),Date timestamp,),；,19.11.2024,60,5.5.1 定义触发器例题19 定义一个After,5.5.1 定义触发器,Create trigger,insert_Sal,After insert on teacher,For each row,As begin,insert into Sal_log values(,new.Eno,new.Sal,Current_user,Current_Timestamp);,End,；,Create trigger,Update_Sal,After update on teacher,For each row,As begin,If (new.Salold.Sal ) Then insert into Sal_log values(,new.Eno,new.Sal,Current_user,Current_Timestamp);,End If;,End,；,19.11.2024,61,5.5.1 定义触发器Create trigger in,5.5.2 激活触发器,同一个表上的多个触发器的执行顺序：,执行,Before,触发器,激活触发器的,SQL,语句,执行,After,触发器,19.11.2024,62,5.5.2 激活触发器同一个表上的多个触发器的执行顺序：2,5.5.2 激活触发器,同一个表上的多个,Before (After),的执行顺序：,谁先创建谁先执行,即按创建触发器的时间先后顺序执行,19.11.2024,63,5.5.2 激活触发器同一个表上的多个Before (Af,5.5.2 激活触发器,例题,20,执行修改某个教师工资,SQL,语句，激活上述定义的触发器。,Update teacher set sal=800 where Ename =,陈平,顺序：,执行触发器,Insert_Or_Update_Sal;,执行,Update teacher set sal=800 where Ename =,陈平,执行触发器,Insert_Sal;,执行触发器,Update_Sal,。,19.11.2024,64,5.5.2 激活触发器例题20 执行修改某个教师工资,5.5.3 删除触发器,语法：,Drop trigger ON ,；,例题,21,删除教师表,Teacher,上的触发器,Insert_Sal.,Drop trigger Insert_Sal on Teacher;,19.11.2024,65,5.5.3 删除触发器语法：29.09.202365,第五章作业,P 313/164,2,5,6,19.11.2024,66,第五章作业P 313/16429.09.202366,