数据库系统教程第8章 关系规范化理论.pptxVIP

数据库系统教程;第8章 关系规范化理论;概述;8.1 函数依赖;8.1.1 基本概念 ;示例;函数依赖定义;8.1.2 一些术语和符号;术语和符号（续）;术语和符号（续）;示例;示例;示例;示例;示例;8.1.3 函数依赖的推理规则;;Armstrong公理;Armstrong公理（续）;Armstrong公理推论;Armstrong公理推论（续1）;Armstrong公理推论（续2）;Armstrong公理推论（续3）;8.1.4 闭包及候选键求解方法;1.函数依赖集的闭包;示例;示例;计算F+过程;2.属性集闭包;算法;示例;例3（续）;示例;示例;示例;3．候选键的求解方法;结论;示例;示例;示例;例9（续）;8.1.5 极小函数依赖集;极小函数依赖集;计算极小函数依赖集的算法;示例;示例;示例;例12（续1）;例12（续2）;示例;例13（续1）;例13（续2）;例13（续3）;8.1.6 为什么讨论函数依赖;数据示例;存在问题;结论;8.2 范式; 范式;范式说明;各范式的关系;8.2.1 第一范式;8.2.2 第二范式;示例;分解方法;分解S-L-C步骤1;分解S-L-C步骤2;分解S-L-C步骤3;S-L存在问题;8.2.3 第三范式;分解方法;分解S-L关系模式;S-L-C最终分解结果;8.2.4 Boyce-Codd范式;BCNF;3NF与BCNF;示例;函数依赖关系;讨论fd4;存在问题;分解ClientInterview关系;分解3NF?BCNF可能产生的问题;问题（续）;说明;8.2.5 规范化小结;规范化小结（续）;8.3 关系模式的分解准则;示例;分解准则;分解准则（续）;关系模式分解准确（续）;分析方案1;无损连接性;分析方案2;方案2问题;分析方案3;关系模式设计的一般原则