数据库原理和应用（11）—— 关系数据库理论、函数依赖、闭包、候选码

一、关系数据库的规范化理论

• 函数依赖：核心，是模式分解和设计的基础
• 范式：模式分解的标准
• 模式设计

二、不合理的关系模式存在的异常问题

异常种类

• 数据冗余
• 插入异常
• 删除异常
• 更新异常

根本原因：属性间存在着数据依赖的关系。

解决方法：模式分解

一个好的关系模式应该具备以下四个条件：

• 尽可能少的数据冗余
• 没有插入异常
• 没有删除异常
• 没有更新异常

三、函数依赖

• 关系模式中的各属性之间相互依赖、相互制约的联系称为数据依赖。分为函数依赖和多值依赖。
• 函数依赖（FD，Functional Dependency）是关系模式中属性之间的一种逻辑依赖关系。 X→Y，X决定Y，Y函数依赖于X。
• 逻辑蕴涵：由F中可以推导出 X→Y，则称 X→Y 为F的逻辑蕴涵，记为F|= X→Y。
• 闭包：设F是函数依赖集，被F逻辑蕴涵的函数依赖的全体构成的集合，称为函数依赖集F的闭包，记为F⁺。即F⁺ = { X→Y |F|= X→Y}。

1. 函数依赖的推理规则