关系模式R
分解算法
算法6.2 判别一个分解的无损连接性
算法6.3（合成法）转换为3NF的保持函数依赖的分解。
算法6.4 转换为3NF既有无损连接性又保持函数依赖的分解
算法6.5 （分解法）转换为BCNF的无损连接分解
算法6.6 达到4NF的具有无损连接性的分解
若要求分解具有无损连接性，那么模式分解一定能够达到4NF
若要求分解保持函数依赖，那么模式分解一定能够达到3NF，但不一定能够达到BCNF
若要求分解既具有无损连接性，又保持函数依赖，则模式分解一定能够达到3NF，但不一定能够达到BCNF
规范化理论为数据库设计提供了理论的指南和工具
也仅仅是指南和工具
并不是规范化程度越高，模式就越好
必须结合应用环境和现实世界的具体情况合理地选择数据库模式
数据库-数据依赖的公理系统(二)
,Sno→Sloc}
S-L∈2NF
分解方法可以有多种：
1. S-L分解为三个关系模式：SN(Sno)
SD(Sdept)
SO(Sloc)
2. SL分解为下面二个关系模式： NL(Sno, Sloc)
DL(Sdept, Sloc)
3. 将SL分解为下面二个关系模式： ND(Sno, Sdept)
NL(Sno, Sloc)