[计算机]Lecture-6-2-数据库完整性课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《[计算机]Lecture-6-2-数据库完整性课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 计算机 Lecture 数据库 完整性 课件
- 资源描述:
-
1、1Principle of Database Lecture 6.2数据库原理数据库原理Principle of DatabaseLecture 6(2)第五章第五章 数据库完整性数据库完整性2Principle of Database Lecture 6.2数据库完整性数据库完整性v 数据库的完整性 数据的正确性和相容性v 数据的完整性和安全性是两个不同概念 数据的完整性 防止数据库中存在不符合语义的数据,也就是防止数据库中存在不正确的数据 防范对象:不合语义的、不正确的数据 数据的安全性 保护数据库防止恶意的破坏和非法的存取 防范对象:非法用户和非法操作3Principle of Data
2、base Lecture 6.2数据库完整性数据库完整性(续续)为维护数据库的完整性,DBMS必须:n1.提供定义完整性约束条件的机制n2.提供完整性检查的方法n3.违约处理4Principle of Database Lecture 6.2第五章第五章 数据库完整性数据库完整性5.1 实体完整性实体完整性5.2 参照完整性参照完整性5.3 用户定义的完整性用户定义的完整性5.4 完整性约束命名字句完整性约束命名字句*5.5 域中的完整性限制域中的完整性限制5.6 触发器触发器5.7 小结小结5Principle of Database Lecture 6.25.1 实体完整性实体完整性v5.
3、1.1 实体完整性定义实体完整性定义v5.1.2 实体完整性检查和违约处理实体完整性检查和违约处理6Principle of Database Lecture 6.25.1.1 实体完整性定义实体完整性定义v 关系模型的实体完整性 CREATE TABLE中用PRIMARY KEY定义v 单属性构成的码有两种说明方法 定义为列级约束条件 定义为表级约束条件v 对多个属性构成的码只有一种说明方法 定义为表级约束条件 7Principle of Database Lecture 6.2实体完整性定义实体完整性定义(续续)例1 将Student表中的Sno属性定义为码 (1)在列级定义主码在列级定义
4、主码 CREATE TABLE Student (Sno CHAR(9)PRIMARY KEY,Sname CHAR(20)NOT NULL,Ssex CHAR(2),Sage SMALLINT,Sdept CHAR(20);8Principle of Database Lecture 6.2实体完整性定义实体完整性定义(续续)(2)在表级定义主码在表级定义主码 CREATE TABLE Student (Sno CHAR(9),Sname CHAR(20)NOT NULL,Ssex CHAR(2),Sage SMALLINT,Sdept CHAR(20),PRIMARY KEY(Sno);9
5、Principle of Database Lecture 6.2实体完整性定义实体完整性定义(续续)例2将SC表中的Sno,Cno属性组定义为码 CREATE TABLE SC (Sno CHAR(9)NOT NULL,Cno CHAR(4)NOT NULL,Grade SMALLINT,PRIMARY KEY(Sno,Cno)/*只能在表级定义主码*/);10Principle of Database Lecture 6.25.1 实体完整性实体完整性v5.1.1 实体完整性定义实体完整性定义v5.1.2 实体完整性检查和违约处理实体完整性检查和违约处理11Principle of Dat
6、abase Lecture 6.25.1.2 实体完整性检查和违约处理实体完整性检查和违约处理v 插入或对主码列进行更新操作时,RDBMS按照实体完整性规则自动进行检查。包括:1.检查主码值是否唯一,如果不唯一则拒绝插入或修改 2.检查主码的各个属性是否为空,只要有一个为空就拒绝插入或修改12Principle of Database Lecture 6.2实体完整性检查和违约处理实体完整性检查和违约处理(续续)v 检查记录中主码值是否唯一的一种方法是进行全表扫描13Principle of Database Lecture 6.2实体完整性检查和违约处理实体完整性检查和违约处理(续续)v索引
7、 14Principle of Database Lecture 6.2第五章第五章 数据库完整性数据库完整性5.1 实体完整性实体完整性5.2 参照完整性参照完整性5.3 用户定义的完整性用户定义的完整性5.4 完整性约束命名字句完整性约束命名字句*5.5 域中的完整性限制域中的完整性限制5.6 触发器触发器5.7 小结小结15Principle of Database Lecture 6.25.2 参照完整性参照完整性v5.2.1 参照完整性定义参照完整性定义v5.2.2 参照完整性检查和违约处理参照完整性检查和违约处理16Principle of Database Lecture 6.2
8、5.2.1 参照完整性定义参照完整性定义v关系模型的参照完整性定义 在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码 用REFERENCES短语指明这些外码参照哪些表的主码 17Principle of Database Lecture 6.2参照完整性定义参照完整性定义(续续)例如,关系SC中一个元组表示一个学生选修的某门课程的成绩,(Sno,Cno)是主码。Sno,Cno分别参照引用Student表的主码和Course表的主码 例3 定义SC中的参照完整性 CREATE TABLE SC (Sno CHAR(9)NOT NULL,Cno CHAR(4)NOT NUL
9、L,Grade SMALLINT,PRIMARY KEY(Sno,Cno),/*在表级定义实体完整性*/FOREIGN KEY(Sno)REFERENCES Student(Sno),/*在表级定义参照完整性*/FOREIGN KEY(Cno)REFERENCES Course(Cno)/*在表级定义参照完整性*/);18Principle of Database Lecture 6.25.2 参照完整性参照完整性v5.2.1 参照完整性定义参照完整性定义v5.2.2 参照完整性检查和违约处理参照完整性检查和违约处理19Principle of Database Lecture 6.2参照完整
10、性检查和违约处理参照完整性检查和违约处理可能破坏参照完整性的情况及违约处理被参照表(例如Student)参照表(例如SC)违约处理可能破坏参照完整性 插入元组拒绝可能破坏参照完整性 修改外码值拒绝删除元组 可能破坏参照完整性拒绝/级连删除/设置为空值修改主码值 可能破坏参照完整性拒绝/级连修改/设置为空值20Principle of Database Lecture 6.2违约处理违约处理v 参照完整性违约处理 1.拒绝(NO ACTION)执行 默认策略 2.级联(CASCADE)操作 3.设置为空值(SET-NULL)对于参照完整性,除了应该定义外码,还应定义外码列是否允许空值21Prin
11、ciple of Database Lecture 6.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 /*级联删除SC表中相应的元组*/ON UPDATE CASCADE,/*级联更新SC表中相应的元组*/FOREIGN KEY(Cno)REFERENCES Course(Cno
12、)ON DELETE NO ACTION /*当删除course 表中的元组造成了与SC表不一致时拒绝删除*/ON UPDATE CASCADE /*当更新course表中的cno时,级联更新SC表中相应的元组*/);22Principle of Database Lecture 6.2第五章第五章 数据库完整性数据库完整性5.1 实体完整性实体完整性5.2 参照完整性参照完整性5.3 用户定义的完整性用户定义的完整性5.4 完整性约束命名字句完整性约束命名字句*5.5 域中的完整性限制域中的完整性限制5.6 触发器触发器5.7 小结小结23Principle of Database Lect
13、ure 6.25.3 用户定义的完整性用户定义的完整性v用户定义的完整性就是针对某一具体应用的数据必须满足的语义要求 vRDBMS提供,而不必由应用程序承担24Principle of Database Lecture 6.25.3 用户定义的完整性用户定义的完整性v5.3.1 属性上的约束条件的定义属性上的约束条件的定义v5.3.2 属性上的约束条件检查和违约处理属性上的约束条件检查和违约处理 v5.3.3 元组上的约束条件的定义元组上的约束条件的定义 v5.3.4元组上的约束条件检查和违约处理元组上的约束条件检查和违约处理25Principle of Database Lecture 6.
14、25.3.1 属性上的约束条件的定义属性上的约束条件的定义vCREATE TABLE时定义 列值非空(NOT NULL)列值唯一(UNIQUE)检查列值是否满足一个布尔表达式(CHECK)26Principle of Database Lecture 6.2属性上的约束条件的定义属性上的约束条件的定义(续续)v 1.不允许取空值 例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,Cn
15、o),/*如果在表级定义实体完整性,隐含了Sno,Cno不允许取空值,则在列级不允许取空值的定义就不必写了*/);27Principle of Database Lecture 6.2属性上的约束条件的定义属性上的约束条件的定义(续续)v 2.列值唯一 例6 建立部门表DEPT,要求部门名称Dname列取值唯一,部门编号Deptno列为主码 CREATE TABLE DEPT (Deptno NUMERIC(2),Dname CHAR(9)UNIQUE,/*要求Dname列值唯一*/Location CHAR(10),PRIMARY KEY(Deptno);28Principle of Dat
16、abase Lecture 6.2属性上的约束条件的定义属性上的约束条件的定义(续续)v 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);29Principle of Database Lecture 6.25.3 用户定义的完整性用户定义的完整性v5.3.
17、1 属性上的约束条件的定义属性上的约束条件的定义v5.3.2 属性上的约束条件检查和违约处理属性上的约束条件检查和违约处理 v5.3.3 元组上的约束条件的定义元组上的约束条件的定义 v5.3.4元组上的约束条件检查和违约处理元组上的约束条件检查和违约处理30Principle of Database Lecture 6.25.3.2 属性上的约束条件检查和违约处理属性上的约束条件检查和违约处理v插入元组或修改属性的值时,RDBMS检查属性上的约束条件是否被满足v如果不满足则操作被拒绝执行 31Principle of Database Lecture 6.25.3 用户定义的完整性用户定义的
18、完整性v5.3.1 属性上的约束条件的定义属性上的约束条件的定义v5.3.2 属性上的约束条件检查和违约处理属性上的约束条件检查和违约处理 v5.3.3 元组上的约束条件的定义元组上的约束条件的定义 v5.3.4元组上的约束条件检查和违约处理元组上的约束条件检查和违约处理32Principle of Database Lecture 6.25.3.3 元组上的约束条件的定义元组上的约束条件的定义v 在CREATE TABLE时可以用CHECK短语定义元组上的约束条件,即元组级的限制v 同属性值限制相比,元组级的限制可以设置不同属性之间的取值的相互约束条件 33Principle of Data
展开阅读全文