数据库完整性-Read.ppt

第5章 数据库完整性 概述 什么是数据库的完整性 数据的正确性和相容性 防止不合语义的数据进入数据库 例: 学生的年龄必须是整数，取值范围为14--29； 学生的性别只能是男或女； 学生的学号一定是唯一的； 学生所在的系必须是学校开设的系； 完整性：否真实地反映现实世界 完整性控制机制 1.完整性约束条件定义机制 完整性约束条件：数据模型的组成部分约束数据库中数据的语义 DBMS应提供定义数据库完整性约束条件，并把它们作为模式的一部分存入数据库中 2.完整性检查机制 检查用户发出的操作请求是否违背了完整性约束条件 3.违约反应 如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的动作来保证数据的完整性 完整性约束条件 完整性约束条件作用的对象 列：对属性的取值类型、范围、精度等的约束条件 元组：对元组中各个属性列间的联系的约束 关系：对若干元组间、关系集合上以及关系之间的联系的约束 两种状态 静态: 对静态对象的约束是反映数据库状态合理性的约束 动态: 对动态对象的约束是反映数据库状态变迁的约束，新旧值之间满足的约束 完整性约束条件分类 六类 对象状态 动态列级 动态元组 动态关系 动态 ④ ⑤ ⑥ 静态列级 静态元组 静态关系 静态 ① ② ③ ? 列 元组 关系 对象粒度 静态列级约束 对列的取值域的说明 最常见、最简单、最容易实现的一类完整性约束 五类静态列级约束 1) 数据类型约束：数据的类型、长度、单位、精度等 2) 对数据格式的约束：如日期为YY.MM.DD 3) 取值范围或取值集合的约束 4) 对空值的约束：未定义或未知的值，与零值和空格不同 5) 其他约束：如关于列的排序说明，组合列等 静态元组约束 规定元组的各个列之间的约束关系 例：订货关系中发货量=订货量 教师关系中教授的工资=700元 静态元组约束只局限在元组上 静态关系约束 关系的各个元组之间或若干关系之间存在的各种联系或约束 常见静态关系约束： 实体完整性约束 参照完整性约束 函数依赖约束：关系字段间存在的函数依赖 统计约束：定义某个字段值一个关系多个元组的统计值之间的约束关系 动态列级约束 动态列级约束是修改列定义或列值时应满足的约束条件 1) 修改列定义时的约束 例：将原来允许空值的列改为不允许空值时: 该列目前已存在空值，则拒绝这种修改 2) 修改列值时的约束 修改列值时新旧值之间要满足的约束条件 例：职工工资调整 = 原来工资 年龄只能增长 动态元组、关系约束 动态元组约束 修改元组值: 各个字段之间要满足的约束条件 例: 职工工资调整不得低于其原来工资 + 工龄*1.5 动态关系约束 关系变化前后状态：限制条件 例：事务一致性、原子性等约束条件 完整性约束条件小结 完整性控制 定义功能 一个完善的完整性控制机制应该允许用户定义各类完整性约束条件 检查功能 立即执行的约束：语句执行完后立即检查是否违背完整性约束 延迟执行的约束：完整性检查延迟到整个事务执行结束后进行 违约反应 拒绝该操作 其他处理方法 例子 例：银行数据库中“借贷总金额应平衡”的约束 就应该是延迟执行的约束 从账号A转一笔钱到账号B为一个事务，从账号A转出去钱后账就不平了，必须等转入账号B后账才能重新平衡，这时才能进行完整性检查。 完整性规则五元组表示 (D，O，A，C，P) D（Data）：约束作用的数据对象 O（Operation）：触发完整性检查的数据库操作 当用户发出什么操作请求时需要检查该完整性规则是立即检查还是延迟检查； A（Assertion）：数据对象必须满足的断言或语义约束，这是规则的主体； C（Condition）：选择A作用的数据对象值的谓词 P（Procedure）：违反完整性规则时触发