数据库系统概论 第5节数据库完整性.ppt

第5章 数据库完整性 5.1完整性约束条件 5.2完整性控制 * 数据库的完整性 正确性 相容性 数据库完整性的实现: (1)定义完整性约束条件 (2)完整性检查 (3)违约反应 10.1完整性约束条件 完整性约束条件作用的对象:关系 元组 列 列约束:是指列的类型、取值范围、精度、排序等约束. 元组约束:是指元组中各个字段间的联系约束. 关系约束:是指若干元组间、关系集合上以及关系之间的联系约束. 完整性约束条件作用对象的状态: 静态 动态 静态约束:是指数据库每一确定状态时的数据对象所应满 足的约束条件,它是反映数据库状态合理性的约束. 动态约束:是指数据库从一种状态转变为另一种状态时,新、 旧值之间所满足的约束条件,它是反映数据库状 态变迁的约束. 完整性约束条件分类: 列 元组 关系 动态 静态 1 2 3 4 5 6 1:静态列级约束 2:静态元组约束 3:静态关系约束 4:动态列级约束 5:动态元组约束 6:动态关系约束 一、静态列级约束 静态列级约束：是指对一个列的取值域的说明。 包括以下几个方面： (1)对数据类型的约束(数据的类型、长度、单位、精度等) (2)对数据格式的约束 (3)对取值范围或取值集合的约束 (4)对空值的约束 (5)其他约束 二、动态列级约束 动态列级约束:是指修改列定义或列值时应满足的约束条件. 包括以下几个方面： (1)修改列定义时的约束 (2)修改列值时的约束 三、静态元组约束 静态元组约束:是指元组的各个列之间的约束关系. 四、动态元组级约束 动态元组级约束:是指修改元组的值时元组中各个列之间 的约束条件. 五、静态关系约束 静态关系约束:是指一个关系的各个元组之间或者若干关系 之间存在的约束条件. 包括以下几个方面： (1)实体完整性约束 (2)参照完整性约束 (3)函数依赖约束 (4)统计约束 六、动态关系约束 动态关系约束:是指加在关系变化前后状态上的约束条件. 总结: 粒度 状态 列级 元组级 关系级 静态 动态 列定义 ·类型 ·格式 ·值域 ·空值 元组值应满足的条件 实体完整性约束 参照完整性约束 函数依赖约束 统计约束 改变列定义或列值 元组新旧值之间应满足的约束条件 关系新旧状态间应满足的约束条件 10.2完整性控制 完整性控制机制的功能： (1)定义功能 (2)检查功能 (3)如果发现用户的操作请求使数据违背了完整性约束 条件,则采取一定的动作来保证数据的完整性. 完整性规则的表示 : 五元组 (D, O, A, C, P) D(Data):指约束作用的数据对象 O(Operation):触发完整性检查的数据库操作 A(Assertion):数据对象必须满足的断言或语义约束 C(Condition):选择A作用的数据对象值的谓词 P(Procedure):违反完整性规则时触发的过程 立即执行检查 延迟执行检查 例子1:对表Student的“学号不能为空”的约束规定. 五元组 (D, O, A, C, P) D:约束作用的对象为Sno属性 O:插入或修改Student元组时 A:Sno不能为空 C:无(A作用于所有记录的Sno属性) P:拒绝执行该操作 例子2:对教师基本情况表的“教授工资不得低于1000元”的约束规定. 五元组 (D, O, A, C, P) D:约束作用的对象为工资Sal属性 O:插入或修改职工元组时 A:Sal不能小于1000 C:职称=‘教授’ P:拒绝执行该操作 实现参照完整性要考虑的几个问题: 1.外码能否接受空值的问题 学生(学号,姓名,性别,专业号,年龄) 专业(专业号,专业名) 外码 例子1: 外码取空值表示该学生尚未分配到任何具体的专业学习. 与应用环境的语义相符,因此外码可取空值. 例子2: 学生(学号,姓名,性别,专业号,年龄) 课程(课程号,课程名,学分) 选修(学号,课程号,成绩) 外码(学号)取空值表示一个不存在的学生选了某门课程,成绩记录在成绩列中. 与应用环境的语义不相符,因此外码不能取空值. 2.在被参照关系中删除元组的问题 例子:学生(学号,姓名,性别,专业号,年龄) 选修(