.数据库系统概论AnIntroductiontoDatabaseSystem第5章数.ppt

An Introduction to Database System 第5章 数据库完整性 什么是数据库的完整性 数据的正确性和相容性 防止不合语义的、不正确的数据进入数据库。 例: 学生的年龄必须是整数，取值范围为14--29； 学生的性别只能是男或女； 学生的学号一定是唯一的； 学生所在的系必须是学校开设的系； 完整性：是否真实地反映现实世界 数据库的完整性和安全性是不同的概念 完整性 防止数据库中存在不正确的数据 防范对象:不合语义的、不正确的数据 安全性 保护数据库防止恶意的破坏和非法存取 防范对象:非法用户和非法操作对数据库的非 法存取 完整性控制机制 为维护数据库的安全性，DBMS必须能够： 1.完整性约束条件定义机制 2.完整性检查机制 3.违约处理 完整性约束条件定义 完整性约束条件：数据模型的组成部分，约束数据库中数据的语义 DBMS应提供定义数据库完整性约束条件，并把它们作为模式的一部分存入数据库中 完整性检查机制 检查用户发出的操作请求是否违背了完整性约束条件。 一般在更新语句执行后开始检查，也可以在事务提交后检查。 违约处理 如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的动作来保证数据的完整性。如拒绝（NO ACTION）执行该操作或级连（CASCADE）执行其他操作。 完整性约束条件 完整性约束条件作用的对象 列：对属性的取值类型、范围、精度等的约束条件 元组：对元组中各个属性列间的联系的约束 关系：对若干元组间、关系集合上以及关系之间的联系的约束 第5章 数据库完整性 5.1 实体完整性 5.2 参照完整性 5.3 用户定义的完整性 5.4 完整性约束条件命名子句 5.1 实体完整性 二、实体完整性检查和违约处理 1. 检查主码值是否唯一，如果不唯一则拒绝插入或修改。 2. 检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改。 5.2 参照完整性 二、参照完整性检查和违约处理 实例：设SC表中的参照完整性如[例3]所定义。对于SC和Student存在4种破坏参照完整性的可能： 二、参照完整性检查和违约处理 设置为空值 当删除或修改被参照表的一个元组时造成了不一致，则将参照表中的所有造成不一致的元组的对应属性设置为空值。 例：学生（学号，姓名，性别，专业号，年龄） 专业（专业号，专业名） 系统默认违约处理策略：“拒绝”显式的设定系统违约处理策略： CREATE TABLE SC ( Sno CHAR(9) , Cno CHAR(4) , Grade SMALLINT, PRIMARY KEY (Sno, Cno), FOREIGN KEY (Sno) REFERENCES Student (Sno) ON DELETE CASCADE ON UPDATE CASCADE, FOREIGN KEY (Cno) REFERENCES Course(Cno) ON DELETE NO ACTION ON UPDATE CASCADE ); 5.3 用户定义的完整性 [例7] Student表的Ssex只允许取“男”或“女”， Sage在10—100之间。 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY, Sname CHAR(20) NOT NULL, Ssex CHAR(2) CHECK(Ssex IN (‘男’,’ 女’)), Sage SMALLINT CHECK(Sage=10 AND Sage=100), Sdept CHAR(20)); 二、属性上的约束条件的检查和违约处理 三、元组上的约束条件的定义 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY, Sname CHAR(20) NOT NULL, Ssex CHAR(2) ， Sage SMALLINT, Sdept CHAR(20)， CHECK(Ssex=’ 女’ OR Sname NOT LIKE ‘Ms.%’)); 四、元组上的约束条件的检查和违约处理 5.4 完整性约束条件命名子句 5.4 完整性约束条件命名子句 二、修改表中的完整性约束 小结：DBMS的完整性控制机制 1. 定义功能 一个完善的完整性控制机制应该允许用户定义各类完整性约束条件。 DBMS的完整性控制机制（续） 2. 检查功能 立即