摘要：
函数依赖 范式的概念 关系模式规范化的基本步骤 Armstrong公理系统 模式的分解 参考 《数据系统概论(第五版)》 人民大学 王珊 阅读全文
摘要：
模式分解 一、模式分解的三个定义 1.定义 2.例 二、分解的无损连接性和保持函数依赖性 1.无损连接性 2.判别一个分解的无损连接性 3.函数依赖性 4.判别一个分解的函数依赖性 三、模式分解的算法 参考 《数据系统概论(第五版)》 人民大学 王珊 阅读全文
摘要：
数据依赖的公理系统 一、Armstrong公理系统 1.推理规则 2.性质 二、函数依赖闭包 1.函数依赖集F的闭包 例： 2.属性集X关于函数依赖集F的闭包 例 ： 3.闭包的引理 4.函数依赖集等价的概念 5.最小依赖集 例1 ： 例2 ： 例3 ： 参考 《数据系统概论(第五版)》 人民大学 阅读全文
摘要：
范式 一、定义 二、种类 1.第一范式(1NF) 定义 例 2.第二范式(2NF) 定义 存在问题 例1 例2 3.第三范式(3NF) 定义 特性 例 4.BC范式(BCNF) 定义 特性 例1 例2 三、规范化小结 参考 《数据系统概论(第五版)》 人民大学 王珊 阅读全文