第6章 关系数据库规范化理论.pptVIP

第6章 关系数据库规范化理论 第6章 关系数据库规范化理论 6.1 问题的提出 1. 存在的问题 1. 存在的问题 1. 存在的问题 1. 存在的问题 1. 存在的问题 2. 解决方法 6.2 关系模式的规范化 1 基本概念 2 函数依赖 3 关系模式的形式化定义 4 码 5 范式 6 第一范式 7 第二范式 8 第三范式 9 BCNF 1. 基本概念 1. 基本概念 1. 基本概念 1. 基本概念 2. 函数依赖 2. 函数依赖 2. 函数依赖 2. 函数依赖 2. 函数依赖 2. 函数依赖 3. 关系模式的形式化定义 4. 码 4. 码 4. 码 5. 范式 5. 范式 6. 第一范式 7. 第二范式 7. 第二范式 7. 第二范式 8. 第三范式 8. 第三范式 9. BCNF 9. BCNF 9. BCNF *6.3 多值依赖及关系的第四范式 1 多值依赖 2 第四范式 1. 多值依赖 1. 多值依赖 1. 多值依赖 1. 多值依赖 1. 多值依赖 1. 多值依赖 2. 第四范式 6.4 关系规范化小结 6.4 关系规范化小结 6.4 关系规范化小结 6.4 关系规范化小结 *6.5 函数依赖公理和模式分解 1 函数依赖公理 2 属性闭包及在计算 3 求解关系模式的候选码 4 函数依赖集的最小依赖集 5 模式分解 1. 函数依赖公理 1. 函数依赖公理 1. 函数依赖公理 1. 函数依赖公理 1. 函数依赖公理 1. 函数依赖公理 2. 属性闭包及其计算 2. 属性闭包及其计算 2. 属性闭包及其计算 2. 属性闭包及其计算 2. 属性闭包及其计算 2. 属性闭包及其计算 3. 求解关系模式的候选码 3. 求解关系模式的候选码 3. 求解关系模式的候选码 3. 求解关系模式的候选码 3. 求解关系模式的候选码 3. 求解关系模式的候选码 4. 函数依赖集的最小依赖集 4. 函数依赖集的最小依赖集 4. 函数依赖集的最小依赖集 4. 函数依赖集的最小依赖集 4. 函数依赖集的最小依赖集 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 5. 模式分解 6.6 关系模式设计实例 1 实例 2 预处理 3 写出关系模式R的基本函数依赖 4 找出关系模式R的候选码 5 关系模式R最高已经达到第几范式的判断 6 关系模式的分解 1. 实例 2. 预处理 3.写出关系模式R的基本函数依赖 4.找出关系模式R的候选码 4.找出关系模式R的候选码 4.找出关系模式R的候选码 5.关系模式R最高已经达到第几范式的判断 6.关系模式的分解 6.关系模式的分解 6.关系模式的分解 6.关系模式的分解 6.7 本章小结 第6章 关系数据库规范化理论 1问题的提出 2关系模式的规范化 3多值依赖及关系的第四范式 4关系规范化小结 5函数依赖公理和模式分解 6关系模式设计实例 实例 预处理 写出关系模式R的基本函数依赖 找出关系模式R的候选码 关系模式R最高已经达到第几范式的判断 关系模式的分解 7本章小结 关系模式R最高已经达到第几范式？为什么？ 很明显，关系模式R(A，B，C，D，E)中的所有属性值都是不可再分的原子项，所以该关系模式已满足第一范式。那么关系模式R(A，B，C，D，E)是否满足2NF？ 根据范式的相关定义得知：如果关系模式R(U，F)中的所有非主属性都完全函数依赖于任一候选码，则该关系是第二范式。从上面的分析知道R(A，B，C，D，E)的唯一候选码是AB，非主属性是C、D、E，函数依赖集是F={AB→C，AC→E，AB→D}，所以关系模式R(A，B，C，D，E)已满足2NF。 进一步分析：非主属性C、D、E之间不存在相互依赖，即关系模式R(A，B，C，D，E)不存在非主属性对候选码的传递函数依赖，根据第三范式的定义，关系模式R(A，B，C，D，E)已满足3NF。 1问题的提出 2关系模式的规范化 3多值依赖及关系的第四范式 4关系规范化小结 5函数依赖公理和模式分解 6关系模式设计实例 实例 预处理 写出关系模式R的基本函数依赖 找出关系模式R的候选码 关系模式R最高已经达到第几范式的判断 关系模式的分解 7本章小结 R已满足3NF，是否已满足BCNF？若不是BCNF，将其分解为BCNF模式集。 由BCNF的定义得知：如果关系模式每个决定因素都包含码(而不是被码所包含)，则R满足BCNF。分析：在F={AB→C，AC→E，AB→D}中，有依赖AC→E的左边AC不包 含候选码AB，即AC→E是BCNF的违例，所以，关系