第4章完整性和安全性.pptVIP

2005-12-5 ftt@hdu.edu.cn SQL语言高级应用 第4章 完整性和安全性 数据完整性 何为数据完整性？ P9：由DBMS而不是用户程序自动检查数据的一致性、相容性，保证数据符合完整性约束条件。 数据须符合的条件或数据之间的关系 数据类型准确无误 数据的值满足范围设置 同一表格数据之间不存在冲突 多个表格数据之间不存在冲突 完整性约束条件 整个完整性控制都是围绕完整性约束条件进行的，从这个角度说，完整性约束条件是完整性控制机制的核心。 完整性约束条件作用的对象 列：对属性的取值类型、范围、精度等的约束条件 元组：对元组中各个属性列间的联系的约束 关系：对若干元组间、关系集合上以及关系之间的联系的约束 完整性约束条件作用的对象状态 静态 对静态对象的约束是反映数据库状态合理性的约束 这是最重要的一类完整性约束 动态 对动态对象的约束是反映数据库状态变迁的约束 完整性约束条件分类 对象状态 动态列级约束 动态元组约束 动态关系约束 动态 ④ ⑤ ⑥ 静态列级约束 静态元组约束 静态关系约束 静态 ① ② ③ ? 列 元组 关系 对象粒度 静态列级约束 静态列级约束是对一个列的取值域的说明，这是最常见最简单同时也最容易实现的一类完整性约束 五类静态列级约束 对数据类型的约束，包括数据的类型、长度、单位、精度等 例：规定学生姓名的数据类型应为字符型，长度为8。 对数据格式的约束 例：规定学号的格式为前两位表示入学年份，后四位为顺序编号；出生日期的格式为YY.MM.DD。 对取值范围或取值集合的约束 例：规定成绩的取值范围为0-100；年龄的取值范围为14-29；性别的取值集合为[男,女]。 对空值的约束：空值表示未定义或未知的值，它与零值和空格不同。有的列允许空值，有的则不允许。 例：规定成绩可以为空值。 其他约束 例：关于列的排序说明，组合列等。 静态元组约束 静态元组约束就是规定组成一个元组的各个列之间的约束关系。 例：订货关系中包含发货量、订货量等列， 发货量不得超过订货量 例：教师关系中包含职称、工资等列， 教授的工资不得低于700元 静态元组约束只局限在单个元组上。 静态关系约束 在一个关系的各个元组之间或者若干关系之间常常存在各种联系或约束。 常见静态关系约束 实体完整性约束 参照完整性约束 函数依赖约束 统计约束 定义某个字段值与一个关系多个元组的统计值之间的约束关系 例：规定部门经理的工资不得高于本部门职工平均工资的5倍，不得低于本部门职工平均工资的2倍。本部门职工的平均工资值是一个统计计算值。 动态列级约束 动态列级约束是修改列定义或列值时应满足的约束条件。 常见动态列级约束 修改列定义时的约束 例：规定将原来允许空值的列改为不允许空值时，如果该列目前已存在空值，则拒绝这种修改。 修改列值时的约束 修改列值有时需要参照其旧值，并且新旧值之间需要满足某种约束条件。 例：职工工资调整不得低于其原来工资，学生年龄只能增长 动态元组约束 动态元组约束是指修改某个元组的值时需要参照其旧值，并且新旧值之间需要满足某种约束条件。 例：职工工资调整不得低于其原来工资+工龄*1.5 动态关系约束 动态关系约束是加在关系变化前后状态上的限制条件。 例：事务一致性、原子性等约束条件 完整性约束条件小结 DBMS的完整性控制机制 定义功能 一个完善的完整性控制机制应该允许用户定义各类完整性约束条件。 检查功能 立即执行的约束(Immediate constraints) 检查是否违背完整性约束的时机通常是在一条语句执行完后立即检查，我们称这类约束为立即执行的约束 延迟执行的约束(Deferred constraints) 在某些情况下，完整性检查需要延迟到整个事务执行结束后再进行，我们称这