数据库系统概论版PPT课件

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 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)操作 删除/修改被参照表的某元组时,则删除/修 改参照表中不一致的元组
相关文档
最新文档