摘要:
函数依赖 范式的概念 关系模式规范化的基本步骤 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 三、规范化小结 参考 《数据系统概论(第五版)》 人民大学 王珊 阅读全文