第5章 关系模式的规范化设计 模式分解 1第13讲 模式分解 关系模式的规范化设计 所要解决的问题 什么是“好”的关系数据模式 如何评价一个好的关系数据模式 如何设计一个“好”的关系数据模式 2第13讲 模式分解 关系模式的规范化设计 主要内容 关系模式的设计问题 关系模式规范化的基本概念和理论 关系模式分解的理论基础和算法 3第13讲 模式分解 回顾 1NF 2NF 3NF BCNF 去除非主属性对于候选键的部分函数依赖 去除非主属性对于候选键的传递函数依赖 去除主属性对于候选键的部分和传递函数依赖 去除不被候选键所蕴涵的非平凡的多值依赖 4NF 消除 决定 因素 非码 的非 平凡 函数 依赖 4第13讲 模式分解 Armstrong公理系统 逻辑蕴涵 Armstrong公理系统推理规则 FD的逻辑蕴涵 函数依赖集F 的闭包F+ 属性集闭包 函数依赖集等价和最小函数依赖集 候选码及其求解方法 回顾 5第13讲 模式分解 主要内容 模式分解的概念 分解的无损连接性和保持函数依赖性 模式分解算法 模式分解 6第13讲 模式分解 分解的概念 设有一关系模式R（U,F），若用一关系模式 的集
