一个好的模式应该不会发生插入异常、更新异常、删除异常和数据冗余的。
这就是规范化要讨论的内容。
非平凡函数依赖
平凡函数依赖
完全函数依赖
部分函数依赖
候选码是最小的超码，是一种特殊的超码。
规范化的定义：一个低一级范式的关系模式通过模式分解可以转换成若干个高一级范式的关系模式的集合，这个过程就叫做规范化。
第一范式
第二范式
第三范式
BCNF：若每个决定因素都包含码，则是BCNF。非主属性对码完全函数依赖、主属性对不含它的码也是完全函数依赖、没有属性完全函数依赖于非码的任何一组属性。BCNF一定是3NF，但3NF不一定是BCNF。
多值依赖：
对于关系 R(X,Y,Z)，如果 X 的每个值对应多个 Y 的值，且这些 Y 的值与 Z 的值无关，则
X->->Y。
公理系统：
传递律、合并规则
求闭包
