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