某大学计算机科学系课件.ppt

1、数据库系统原理 厦门大学计算机系 林子雨 2016版厦门大学计算机科学系 2016版第五章第五章 数据库完整性数据库完整性（2016版）版）厦门大学计算机科学系本科生课程厦门大学计算机科学系本科生课程数据库系统原理数据库系统原理林子雨林子雨厦门大学计算机科学系厦门大学计算机科学系E-mail:主页：主页：http:/ 厦门大学计算机系 林子雨 2016版第五章 数据库完整性数据库系统原理 厦门大学计算机系 林子雨 2016版综合统一（操纵三级模式）SQL视图视图1视图视图2基表基表1基表基表2基表基表3基表基表4存储文件存储文件1存储文件存储文件2外模式外模式模式模式内模式内模式数据安全数据安

2、全数据完整性数据完整性数据库系统原理 厦门大学计算机系 林子雨 2016版什么是数据库的完整性？数据库系统原理 厦门大学计算机系 林子雨 2016版什么是完整性控制机制？数据库系统原理 厦门大学计算机系 林子雨 2016版1、完整性约束条件定义数据库系统原理 厦门大学计算机系 林子雨 2016版2、完整性检查机制数据库系统原理 厦门大学计算机系 林子雨 2016版3、违约处理数据库系统原理 厦门大学计算机系 林子雨 2016版1.完整性约束条件作用的对象数据库系统原理 厦门大学计算机系 林子雨 2016版2.完整性约束条件分类数据库系统原理 厦门大学计算机系 林子雨 2016版第五章 数据库完

3、整性数据库系统原理 厦门大学计算机系 林子雨 2016版5.1 实体完整性定义数据库系统原理 厦门大学计算机系 林子雨 2016版5.1 实体完整性定义数据库系统原理 厦门大学计算机系 林子雨 2016版 5.1 实体完整性定义数据库系统原理 厦门大学计算机系 林子雨 2016版5.1 实体完整性定义数据库系统原理 厦门大学计算机系 林子雨 2016版5.1 实体完整性定义数据库系统原理 厦门大学计算机系 林子雨 2016版第五章 数据库完整性数据库系统原理 厦门大学计算机系 林子雨 2016版参照完整性：参照完整性：若属性（或属性组）若属性（或属性组）F是基本关系是基本关系R的外的外码，它与

4、基本关系码，它与基本关系S的主码的主码Ks相对应（基相对应（基本关系本关系R和和S不一定是不同的关系），则不一定是不同的关系），则对于对于R中每个元组在中每个元组在F上的值必须为：上的值必须为：或者取空值（或者取空值（F的每个属性值均为空值）的每个属性值均为空值）或者等于或者等于S中某个元组的主码值。中某个元组的主码值。5.2 参照完整性规则数据库系统原理 厦门大学计算机系 林子雨 2016版5.2 参照完整性规则数据库系统原理 厦门大学计算机系 林子雨 2016版 1、外码是否可以接受空值的问题数据库系统原理 厦门大学计算机系 林子雨 2016版1、外码是否可以接受空值的问题（续）数据库系统

5、原理 厦门大学计算机系 林子雨 2016版1、外码是否可以接受空值的问题（续）数据库系统原理 厦门大学计算机系 林子雨 2016版2、在被参照关系中删除元组时的问题数据库系统原理 厦门大学计算机系 林子雨 2016版2、在被参照关系中删除元组时的问题（续）数据库系统原理 厦门大学计算机系 林子雨 2016版2、在被参照关系中删除元组时的问题（续）CREATE TABLE SC (Sno CHAR(5)foreign key references Student(Sno),Cno CHAR(1),Grade INT );数据库系统原理 厦门大学计算机系 林子雨 2016版2、在被参照关系中删除元

6、组时的问题（续）CREATE TABLE SC (Sno CHAR(5)foreign key references Student(Sno)ON DELETE CASCADE,Cno CHAR(1),Grade INT );数据库系统原理 厦门大学计算机系 林子雨 2016版2、在被参照关系中删除元组时的问题（续）数据库系统原理 厦门大学计算机系 林子雨 2016版3、在参照关系中插入元组时的问题数据库系统原理 厦门大学计算机系 林子雨 2016版3、在参照关系中插入元组时的问题（续）数据库系统原理 厦门大学计算机系 林子雨 2016版3、在参照关系中插入元组时的问题（续）数据库系统原理 厦

7、门大学计算机系 林子雨 2016版结论：参照完整性的执行数据库系统原理 厦门大学计算机系 林子雨 2016版第五章 数据库完整性数据库系统原理 厦门大学计算机系 林子雨 2016版5.3 用户定义的完整性数据库系统原理 厦门大学计算机系 林子雨 2016版5.3 用户定义的完整性数据库系统原理 厦门大学计算机系 林子雨 2016版5.3 用户定义的完整性数据库系统原理 厦门大学计算机系 林子雨 2016版第五章 数据库完整性数据库系统原理 厦门大学计算机系 林子雨 2016版5.4 完整性约束命名子句数据库系统原理 厦门大学计算机系 林子雨 2016版第五章 数据库完整性数据库系统原理 厦门大

8、学计算机系 林子雨 2016版5.6 触发器数据库系统原理 厦门大学计算机系 林子雨 2016版5.6 触发器数据库系统原理 厦门大学计算机系 林子雨 2016版5.6 触发器理解触发器里面的两个临时的表：Deleted,Inserted Deleted 与Inserted分别表示触发事件的表“旧的一条记录”和“新的一条记录”一个数据库系统中有两个虚拟表用于存储在表中记录改动的信息数据库系统原理 厦门大学计算机系 林子雨 2016版5.6 触发器 虚拟表Inserted 虚拟表Deleted在表记录新增时 存放新增的记录 不存储记录 修改时 存放用来更新的新记录 存放更新前的记录 删除时 不存

9、储记录 存放被删除的记录数据库系统原理 厦门大学计算机系 林子雨 2016版Create Trigger chggrade on SC for insertasupdate SC set grade=60 where exists(select*from insertedwhere inserted.Sno=SC.Sno and inserted.Cno=SC.Cno and inserted.grade 60 )5.6 触发器数据库系统原理 厦门大学计算机系 林子雨 2016版课堂作业数据库系统原理 厦门大学计算机系 林子雨 2016版课堂作业create trigger T1on scfo

10、r insertasupdate sc set grade=60 where exists(select*from student where sdept=CSand student.sno=sc.sno and exists(select*from insertedwhere inserted.sno=sc.sno and o=oand inserted.grade60 )数据库系统原理 厦门大学计算机系 林子雨 2016版create Trigger selcouon studentfor insertasinsert into SC(Sno,Cno)select Sno,2 from i

11、nsertedcreate Trigger slefton student for deleteasupdate SC set Grade=0 where Sno in(select Sno from deleted)5.6 触发器数据库系统原理 厦门大学计算机系 林子雨 2016版5.6 触发器例子：创建触发器，当更新student表中的学号时，也同时更新sc表中的学号数据库系统原理 厦门大学计算机系 林子雨 2016版5.6 触发器create trigger T2on studentfor updateasif update(Sno)beginupdate sc set sc.sno=i

12、.snofrom sc,inserted i,deleted d where sc.sno=d.snoend创建触发器，当更新student表中的学号时，也同时更新sc表中的学号数据库系统原理 厦门大学计算机系 林子雨 2016版5.6 触发器例子：创建一个触发器，当删除student表中的某条记录时，也同时删除sc表中的记录数据库系统原理 厦门大学计算机系 林子雨 2016版5.6 触发器创建一个触发器，当删除student表中的某条记录时，也同时删除sc表中的记录create trigger T3on student for deleteasdelete sc from sc,delete

13、d dwhere sc.sno=d.sno数据库系统原理 厦门大学计算机系 林子雨 2016版5.7 断言 使用断言（assertion）来指定更具一般性地约束 可以定义涉及多个表或聚集操作的比较复杂的完整性约束 任何对断言中所涉及关系的操作都会出发关系数据库管理系统对断言的检查 任何使得断言不为真的操作都会被拒绝执行数据库系统原理 厦门大学计算机系 林子雨 2016版5.7 断言 语句格式：create assertion 数据库系统原理 厦门大学计算机系 林子雨 2016版5.7 断言 例：限制数据库课程最多60名学生选修create assertion asse_sc_db_numche

14、ck(60=(select count(*)from course,scWhereSo=o and ame=数据库)数据库系统原理 厦门大学计算机系 林子雨 2016版5.7 断言 例：限制每一门课程最多60名学生选修create assertion asse_sc_cnum1Check(60=ALL(select count(*)from sc group by cno)数据库系统原理 厦门大学计算机系 林子雨 2016版5.7 断言 例：限制每个学期每一门课最多60名学生选修修改sc表，增加一个“学期(TERM)”属性Create assertion asse_sc_cnum2Check(

15、60=ALL(select count(*)from sc group by cno,term)数据库系统原理 厦门大学计算机系 林子雨 2016版第五章 数据库完整性数据库系统原理 厦门大学计算机系 林子雨 2016版5.7 小结数据库系统原理 厦门大学计算机系 林子雨 2016版5.7 小结数据库系统原理 厦门大学计算机系 林子雨 2016版 第5版教材第173页 第6题作业数据库系统原理 厦门大学计算机系 林子雨 2016版附录：本章常用SQL语句alter table student alter column sno char(5)not nullalter table student

16、 add primary key(Sno)alter table sc alter column sno char(5)not nullalter table sc add foreign key(Sno)references student(sno)alter table course alter column Cno char(1)not nullalter table course add primary key(Cno)alter table sc add foreign key(Cno)references course(Cno)exec sp_helpconstraint cour

17、sesp_helpconstraint studentalter table sc drop constraint FK_SC_Sno_07020F21alter table sc add constraint FK1 foreign key(Sno)references student(Sno)alter table sc add constraint FK2 foreign key(Cno)references course(Cno)alter table student add constraint PK1 primary key(Sno)alter table student drop

18、 constraint PK1数据库系统原理 厦门大学计算机系 林子雨 2016版附录：主讲教师单位：厦门大学计算机科学系E-mail:个人网页：http:/ 厦门大学计算机系 林子雨 2016版附录：课程助教单位：厦门大学计算机科学系数据库实验室2014级硕士研究生E-mail:助教：谢荣东助教：谢荣东单位：厦门大学计算机科学系数据库实验室2015级硕士研究生E-mail:xueqian_助教：薛倩助教：薛倩数据库系统原理 厦门大学计算机系 林子雨 2016版附录：班级网站林子雨主讲林子雨主讲数据库系统原理数据库系统原理2016班级主页班级主页扫一扫访问班级网站支持手机浏览http:/ 厦门大学计算机系 林子雨 2016版实时主动数据仓库相关问题研究实时主动数据仓库相关问题研究 Department of Computer Science,Xiamen University,2016