华中科技大学数据库课件第06章关系数据理论2.pptVIP

第6章 关系数据理论 6.1 问题的提出 6.2 函数依赖 6.3 函数依赖的公理系统 6.4 关系模式的规范化 6.5 关系模式的分解 6.6 小结 6.4 关系模式的规范化 规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。 6.4 关系模式的规范化 6.4.1 范式 6.4.2 1NF 6.4.3 2NF 6.4.4 3NF 6.4.5 BCNF 6.4.6 多值依赖 6.4.7 4NF 6.4.8 规范化小结 6.4.1 范式 范式是符合某一种级别的关系模式的集合。 关系数据库中的关系必须满足一定的要求。满足不同程度要求的为不同范式。 通过模式分解将一个低级范式转换为若干个高级范式的过程称作规范化。 范式的级别： 6.4.1 范式 策略 概念单一化：一个关系模式表示一个概念，一个实体，一个实体间联系；多余部分分解出去。 目标 较少冗余 避免修改麻烦 避免操作异常 某一关系模式R为第n范式，可简记为R∈nNF。 6.4 关系模式的规范化 6.4.1 范式 6.4.2 1NF 6.4.3 2NF 6.4.4 3NF 6.4.5 BCNF 6.4.6 多值依赖 6.4.7 4NF 6.4.8 规范化小结 6.4.2 1NF 1.定义 任给关系模式R(U,F)，若U中每个属性