数据库完整性.pptVIP

* * 数据库完整性 第10章 完整性约束条件 完整性控制 Oracle的完整性 什么是数据库的完整性 数据的正确性和相容性 防止不合语义的数据进入数据库 例: 学生的年龄必须是整数，取值范围为14--29； 学生的性别只能是男或女； 学生的学号一定是唯一的； 学生所在的系必须是学校开设的系。 完整性：是否真实地反映现实世界 安整性控制机制 1. 完整性约束条件定义机制 2. 完整性检查机制 3. 违约反应 完整性约束条件：加在数据库数据之上的语义约束条件 检查用户发出的操作请求是否违背了完整性约束条件 如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的动作来保证数据的完整性。 10.1 计算机安全性概论 完整性约束条件作用的对象 列：对属性的取值类型、范围、精度等的约束条件 元组：对元组中各个属性列间的联系的约束 关系：对若干元组间、关系集合上及关系之间的联系的约束 静态 对静态对象的约束是反映数据库状态合理性的约束 动态 对动态对象的约束是反映数据库状态变迁的约束 六类完整性约束条件 静态列级约束 静态元组约束 静态关系约束 动态列级约束 动态元组约束 动态关系约束 对象状态 动态列级约束 动态元组约束 动态关系约束 动态 ④ ⑤ ⑥ 静态列级约束 静态元组约束 静态关系约束 静态 ① ② ③ ?对象粒度 列 元组 关系 1. 静态列级约束 静态列级约束：对列的取值域的说明 最常见、最简单、最容易实现的一类完整性约束 五类静态列级约束 1) 数据类型约束：数据的类型、长度、单位、精度等 例：学生姓名的数据类型为字符型，长度为8 3) 取值范围或取值集合的约束 例：规定成绩的取值范围为0-100;年龄的取值范围为14-29 性别的取值集合为[男,女] 2) 对数据格式的约束 例：学号：前两位表示入学年份，后四位为顺序编号 日期：YY.MM.DD。 4) 对空值的约束(空值：未定义或未知的值,与零值和空格不同) 有的列允许空值，有的则不允许，如成绩可为空值 5) 其他约束 例：关于列的排序说明等 2. 静态元组约束 规定元组的各个列之间的约束关系 例：订货关系中发货量=订货量 教师关系中教授的工资=700元 静态元组约束只局限在元组上 3. 静态关系约束 关系的各个元组之间或若干关系之间存在的各种联系或约束 关系字段间存在的函数依赖 例：在学生－课程－教师关系 SJT(S,J,T) 的函数依赖： ( (S,J）→T, T→J ) 主码： (S, J) 定义某个字段值与一个关系多个元组的统计值之间的约束关系 例：职工平均工资的2倍=部门经理的工资=职工平均工资的5倍 职工平均工资值: 统计值 常见静态关系约束： 1) 实体完整性约束 2) 参照完整性约束 3) 函数依赖约束 4) 统计约束 4. 动态列级约束 动态列级约束是修改列定义或列值时应满足的约束条件 1) 修改列定义时的约束 例：将原来允许空值的列改为不允许空值时: 如果该列目前已存在空值，则拒绝这种修改。 2) 修改列值时的约束 修改列值时新旧值之间要满足的约束条件 例：职工工资调整 = 原来工资 年龄只能增长 5. 动态元组约束 修改元组值: 各个属性之间要满足的约束条件 6. 动态关系约束 关系变化前后状态：限制条件 例: 职工工资调整不得低于其原来工资 + 工龄×1.5 例：事务一致性、原子性等约束条件 关系新旧状态间应满足的约束条件 元组新旧值之间应满足的约束条件 改变列定义或列值 动 态 实体完整性约束 参照完整性约束 函数依赖约束 统计约束 元组值应满足的条件 ? 列定义 · 类型 · 格式 · 值域