[工学]11春第05章数据库完整性.ppt

第5章 数据库完整性 任课教师：唐蕾 Email：tanglei_xz@163.com 徐州师范大学计算机与科学技术学院 本章内容概要 一、数据库完整性概述 二、实体完整性 三、参照完整性 四、用户定义的完整性 五、完整性约束命名子句 六、触发器 本章教学要求 掌握 实体完整性定义 参照完整性定义 用户完整性自定义 了解 完整性控制机制 完整性约束条件类型 数据库完整性的意义 数据库完整性概述 什么是数据库的完整性 数据的正确性和相容性。 数据库的完整性和安全性 完整性：防止数据库中存在不合语义的数据。 安全性：防范非法用户和非法操作。 完整性控制机制 完整性约束条件定义 完整性检查 违约处理 完整性约束的类型 静态约束 对静态对象的约束是反映数据库状态合理性的约束。 静态列级约束、静态元组约束、静态关系约束。 动态约束 对动态对象的约束是反映数据库状态变迁的约束。 动态列级约束、动态元组约束、动态关系约束。 静态列级约束 静态列级约束 对取值域的说明。 最常见、最简单、最容易实现的一类完整性约束。 五类静态列级约束 1) 数据类型约束：数据的类型、长度、单位、精度等 2) 对数据格式的约束。 3) 取值范围或取值集合的约束。 4) 对空值的约束。 空值：未定义或未知的值，与零值和空格不同。 5) 其他约束。 静态列级约束示例 【例1】学生姓名的数据类型为字符型，长度为8 【例2】 学号：前两位表示入学年份，后四位为顺序编号 日期：YY.MM.DD。 【例3】规定成绩的取值范围为：0-100 年龄的取值范围为：14-29 性别的取值集合为：[男,女] 【例4】成绩可为空值。 静态元组约束 规定元组的各个列之间的约束关系。 【例】 订货关系中发货量=订货量 静态元组约束只局限在元组上 。 静态关系约束 静态关系约束 关系的各个元组之间或若干关系之间存在的各种联系或约束。 常见静态关系约束 1) 实体完整性约束 2) 参照完整性约束 3) 函数依赖约束： 关系字段间存在的函数依赖。 4) 统计约束： 定义某个字段值一个关系多个元组的统计值之间的约束关系。 静态关系约束示例 动态列级约束 动态列级约束 修改列定义或列值时应满足的约束条件。 动态列级约束类型 (1) 修改列定义时的约束。 (2) 修改列值时的约束：新旧值之间要满足的约束条件。 动态元组约束与动态关系约束 动态元组约束 修改元组值: 各个字段之间要满足的约束条件。 动态关系约束 关系变化前后状态：限制条件。 二、实体完整性 1.实体完整性定义 2.实体完整性检查和违约处理 1. 实体完整性定义 关系模型的实体完整性 CREATE TABLE中用PRIMARY KEY定义 单属性构成的码有两种说明方法 定义为列级约束条件 定义为表级约束条件 对多个属性构成的码只有一种说明方法 定义为表级约束条件 【例1】 将Student表中的Sno属性定义为码 (1)在列级定义主码 CREATE TABLE Student ( Sno CHAR(9) PRIMARY KEY， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20) ); 【例1】 将Student表中的Sno属性定义为码 (2)在表级定义主码 CREATE TABLE Student ( Sno CHAR(9) ， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20), PRIMARY KEY(Sno) ); 【例2】将SC表中的Sno,Cno属性定义为码 CREATE TABLE SC ( Sno CHAR(9) NOT NULL ， Cno CHAR(4) NOT NULL ， Grade SMALLINTK PRIMARY KEY(Sno,Cno) ); 2.实体完整性检查和违约处理