第六章总结

各种定义：

第一范式：作为一个二维表，关系要符合一个最基本的条件：每一个分量必须是不可分的数据项，满足了这个条件的关系模式就属于第一范式
函数依赖 :
完全与部分函数依赖：
传递函数依赖：
候选码与主码：
外码：

2NF:
3NF:
BCNF;
平凡多值依赖：

4NF：

规范化的基本步骤：

后来补充学习了闭包;

4类：

定理和推论：

通过这个定理和推论就可以比较轻松的找出候选码从而更简单的做题。