数据库系统概论版PPT课件
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
重点：
掌握DBMS完整性控制机制的三个方面，即完 整性约束条件的定义、检查和违约处理。
用SQL语言定义关系模式的完整性约束条件。 包括定义主码、参照完整性；定义与应用有 关的完整性。
难点：
如何实现完整性的策略，以确保数据的正确 与有效。较复杂的是参照完整性的实现机制。
3
数据库完整性
数据库的完整性
16
参照完整性检查和违约处理
[练习]对表SC和Course，可能破坏参照完 整性的操作情况
SC表增加一个元组 修改SC表的一个元组 从Course表删除一个元组 修改Course表中一个元组的Cno属性值
17
参照完整性检查和违约处理
可能破坏参照完整性的情况及违约处理
被参照表 (例如Student)
数据的正确性和相容性 数据的完整性和安全性是两个不同概念
数据的完整性 防止数据库中存在不正确的数据 防范对象：不合语义的、不正确的数据
数据的安全性 防止恶意的破坏和非法的存取 防范对象：非法用户和非法操作
4
数据库完整性(续)
为维护数据库的完整性，DBMS必须：
提供定义完整性约束条件的机制 提供完整性检查的方法 违约处理
9
实体完整性定义(续)
[例2]将SC表中的Sno，Cno属性组定义为码
CREATE TABLE SC (Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT， PRIMARY KEY (Sno，Cno) /*只能在表级定义主码*/);
20
在主表中修改主码例
例：将S关系中Sno=950001的元组中Sno 值改为960123。设SC关系中有4个元组 的Sno=950001
可能破坏 参照完整性
可能破坏 参照完整性
删除元组
修改主码值
参照表 (例如SC) 插入元组
修改外码值
可能破坏 参照完整性
可能破坏 参照完整性
违约 处理 拒绝
拒绝
拒绝/级连删 除/设置为空 值 拒绝/级连修 改/设置为1空8 值
违约处理
参照完整性违约处理
拒绝(NO ACTION)执行 默认策略
级联(CASCADE)操作 删除/修改被参照表的某元组时，则删除/修 改参照表中不一致的元组
定义为列级约束条件 定义为表级约束条件
对多个属性构成的码只有一种定义方法
定义为表级约束条件
7
实体完整性定义(续)
[例1]将Student表中的Sno属性定义为 码
在列级定义主码：在属性后增加关键字 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20));
第五章 数据库完整性
本章目标：掌握数据库的完整性概念， 以及用SQL语言定义关系模式的完整性 约束条件。
2020/12/29
第五章 数据库完整性
5.1 实体完整性 5.2 参照完整性 5.3 用户自定义完整性 5.4 完整性约束命名子句 5.5 域中的完整性限制 5.6 触发器 5.7 小结
2
重点和难点
[例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 Course(Cno) /*在表级定义参照完整性*/);
5.2.1 参照完整性定义 5.2.2 参照完整性检查和违约处理
12
5.2.1 参照完整性定义
关系模型的参照完整性定义
在CREATE TABLE中用FOREIGN KEY短语定 义哪些列为外码
用REFERENCES短语指明这些外码参照哪些 表的主码
13
参照完整性定义(例)
关系SC：(Sno,Cno)是主码。Sno,Cno分别参 照引用Student表的主码和Course表的主码
----目前商用的DBMS产品都支持完整性控制
本章重点讲解SQL语言中实现完整性控 制功能的方法
5
5.1 实体完整性
5.1.1 实体完整性定义 5.1.2 实体完整性检查和违约处理
6
5.1.1 实体完整性定义
关系模型的实体完整性
CREATE TABLE中用PRIMARY KEY定义
单属性构成的码有两种定义方法
10
5.1.2 实体完整性检查和违约处理
插入或对主码列进行更新操作时， RDBMS按照实体完整性规则自动进行检 查。包括：
检查主码值是否唯一，不唯一则拒绝 检查主码的各个属性是否为空，只要有一
个为空就拒绝
检查记录中主码值是否唯一的方法：全表扫描 提高实体完整性检查效率的方法：索引
11
5.2 参照完整性
14
5.பைடு நூலகம்.2 参照完整性检查和违约处理
参照完整性：将两个表中的相应元组联系 起来 可能破坏参照完整性的操作：对参照表和 被参照表的增、删、改
15
参照完整性检查和违约处理
[例]对表SC和Student，可能破坏参照完整 性的操作情况
SC表增加一个元组 修改SC表的一个元组 从Student表删除一个元组 修改Student表中一个元组的Sno属性值
设置为空值(SET-NULL) 删除/修改被参照表的某元组时，则设置参 照表中不一致的元组的对应属性为空值
19
违约处理
设置为空值(SET-NULL) 对于参照完整性，除了应该定义外码，还 应定义外码列是否允许空值
当参照表与被参照表的操作违反了参照完整 性时 系统选用默认策略，即拒绝执行 若想让系统采取其他策略，必须在创建表 时显式地说明
8
实体完整性定义(续)
在表级定义主码：在属性表中加入额外的定义 主码的子句：PRIMARY KEY (主码属性名表)
CREATE TABLE Student (Sno CHAR(9)， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20)， PRIMARY KEY (Sno));
掌握DBMS完整性控制机制的三个方面，即完 整性约束条件的定义、检查和违约处理。
用SQL语言定义关系模式的完整性约束条件。 包括定义主码、参照完整性；定义与应用有 关的完整性。
难点：
如何实现完整性的策略，以确保数据的正确 与有效。较复杂的是参照完整性的实现机制。
3
数据库完整性
数据库的完整性
16
参照完整性检查和违约处理
[练习]对表SC和Course，可能破坏参照完 整性的操作情况
SC表增加一个元组 修改SC表的一个元组 从Course表删除一个元组 修改Course表中一个元组的Cno属性值
17
参照完整性检查和违约处理
可能破坏参照完整性的情况及违约处理
被参照表 (例如Student)
数据的正确性和相容性 数据的完整性和安全性是两个不同概念
数据的完整性 防止数据库中存在不正确的数据 防范对象：不合语义的、不正确的数据
数据的安全性 防止恶意的破坏和非法的存取 防范对象：非法用户和非法操作
4
数据库完整性(续)
为维护数据库的完整性，DBMS必须：
提供定义完整性约束条件的机制 提供完整性检查的方法 违约处理
9
实体完整性定义(续)
[例2]将SC表中的Sno，Cno属性组定义为码
CREATE TABLE SC (Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT， PRIMARY KEY (Sno，Cno) /*只能在表级定义主码*/);
20
在主表中修改主码例
例：将S关系中Sno=950001的元组中Sno 值改为960123。设SC关系中有4个元组 的Sno=950001
可能破坏 参照完整性
可能破坏 参照完整性
删除元组
修改主码值
参照表 (例如SC) 插入元组
修改外码值
可能破坏 参照完整性
可能破坏 参照完整性
违约 处理 拒绝
拒绝
拒绝/级连删 除/设置为空 值 拒绝/级连修 改/设置为1空8 值
违约处理
参照完整性违约处理
拒绝(NO ACTION)执行 默认策略
级联(CASCADE)操作 删除/修改被参照表的某元组时，则删除/修 改参照表中不一致的元组
定义为列级约束条件 定义为表级约束条件
对多个属性构成的码只有一种定义方法
定义为表级约束条件
7
实体完整性定义(续)
[例1]将Student表中的Sno属性定义为 码
在列级定义主码：在属性后增加关键字 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20));
第五章 数据库完整性
本章目标：掌握数据库的完整性概念， 以及用SQL语言定义关系模式的完整性 约束条件。
2020/12/29
第五章 数据库完整性
5.1 实体完整性 5.2 参照完整性 5.3 用户自定义完整性 5.4 完整性约束命名子句 5.5 域中的完整性限制 5.6 触发器 5.7 小结
2
重点和难点
[例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 Course(Cno) /*在表级定义参照完整性*/);
5.2.1 参照完整性定义 5.2.2 参照完整性检查和违约处理
12
5.2.1 参照完整性定义
关系模型的参照完整性定义
在CREATE TABLE中用FOREIGN KEY短语定 义哪些列为外码
用REFERENCES短语指明这些外码参照哪些 表的主码
13
参照完整性定义(例)
关系SC：(Sno,Cno)是主码。Sno,Cno分别参 照引用Student表的主码和Course表的主码
----目前商用的DBMS产品都支持完整性控制
本章重点讲解SQL语言中实现完整性控 制功能的方法
5
5.1 实体完整性
5.1.1 实体完整性定义 5.1.2 实体完整性检查和违约处理
6
5.1.1 实体完整性定义
关系模型的实体完整性
CREATE TABLE中用PRIMARY KEY定义
单属性构成的码有两种定义方法
10
5.1.2 实体完整性检查和违约处理
插入或对主码列进行更新操作时， RDBMS按照实体完整性规则自动进行检 查。包括：
检查主码值是否唯一，不唯一则拒绝 检查主码的各个属性是否为空，只要有一
个为空就拒绝
检查记录中主码值是否唯一的方法：全表扫描 提高实体完整性检查效率的方法：索引
11
5.2 参照完整性
14
5.பைடு நூலகம்.2 参照完整性检查和违约处理
参照完整性：将两个表中的相应元组联系 起来 可能破坏参照完整性的操作：对参照表和 被参照表的增、删、改
15
参照完整性检查和违约处理
[例]对表SC和Student，可能破坏参照完整 性的操作情况
SC表增加一个元组 修改SC表的一个元组 从Student表删除一个元组 修改Student表中一个元组的Sno属性值
设置为空值(SET-NULL) 删除/修改被参照表的某元组时，则设置参 照表中不一致的元组的对应属性为空值
19
违约处理
设置为空值(SET-NULL) 对于参照完整性，除了应该定义外码，还 应定义外码列是否允许空值
当参照表与被参照表的操作违反了参照完整 性时 系统选用默认策略，即拒绝执行 若想让系统采取其他策略，必须在创建表 时显式地说明
8
实体完整性定义(续)
在表级定义主码：在属性表中加入额外的定义 主码的子句：PRIMARY KEY (主码属性名表)
CREATE TABLE Student (Sno CHAR(9)， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20)， PRIMARY KEY (Sno));