范式 `
说明：
1、关系数据库中的关系是要满足一定要求的，满足不同程度要求的为不同范式。
2、满足最低要求的叫第一范式，简称1NF。
3、规范化定义：一个低一级范式的关系模式通过模式分解可以转换为若干个高一级范式的关系模式的集合，这种过程就叫规范化。
4、BCNF满足条件：（1）所有非主属性对每一个码都是完全函数依赖。
（2）所有主属性对每一个不包含它的码也是完全函数依赖。
（3）没有任何属性完全函数依赖于非码的任何一组属性。
5、规范化过程：1NF→2NF消除非主属性对码的部分函数依赖
2NF→3NF消除非主属性对码的传递函数依赖
3NF→BCNF消除主属性对码的部分和传递函数依赖
BCNF→4NF消除非平凡且非函数依赖的多值依赖
6、多值依赖与函数依赖之间的区别：（1）多值依赖的有效性与属性集的范围有关。（2）若函数依赖X→Y在R（U）上成立，则对于任何Y‘包含于Y均有X→Y’成立。而多值依赖X→→Y若在R（U）上成立，却不能断言对于任何Y‘包含于Y有X→→Y’成立。
实例：
数据依赖
说明：
1、自反律：若Y包含于X包含于U，则X→Y为F所蕴涵。
2、增广律：若X→Y为F所蕴涵，且Z包含于U，则XZ→YZ为F所蕴涵。
3、传递律：若X→Y及Y→Z为F所蕴涵，则X→Z为F所蕴涵。
4、合并规则：由X→Y，X→Z，有X→YZ。
5、伪传递规则：由X→Y，WY→Z，有XW→Z。
6、分解规则：由X→Y及Z包含于Y，有X→Z。
7、有效性：由F出发根据Armstrong公理推导出来的每一个函数依赖一定在F+中。
8、完备性：F+中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来。
9、定义6.11 对于满足一组函数依赖F的关系模式R