数据库原理之范式浅解

第一范式（1NF）：每个分量必须是不可再分的数据项，即每个单元格独立不可分。
第二范式（2NF）：每一个非主属性完全函数依赖与任何一个候选码。
函数依赖：自变量x确定后，相应的函数值y也就唯一地确定了。
例：在学生表中，学生学号可以唯一确实学生姓名和所在系。
完全函数依赖：全部属性唯一推出一个确定的值，缺一不可。
例：在成绩表中，学号和课号为候选码，确定成绩需要同时确定学生学号和学生课程，少一个就推不出。即成绩完全函数依赖学号+课号。而授课教师可由课号单独确定，所以为部分函数依赖。
第三范式（3NF）：每一个非主属性既不传递依赖于码，也不部分依赖于码。
BC范式（BCNF）：1. 所有非主属性对每一个码都是完全函数依赖。2.所有主属性对每一个不包含它的码也是完全函数依赖。3.没有任何属性完全依赖于非码的任何一组属性。
BCNF排除了任何属性对码的传递依赖和部分依赖。
**注：**一个模式中的关系模式如果都属于BCNF，那么在函数依赖范畴内它已经实现了彻底的分离，已经消除了插入和删除的异常。3NF的“不彻底”性表现在可能存在主属性对码的部分依赖和传递依赖。
第四范式（4NF）：限制关系模式的属性之间不允许有非平凡且非函数依赖的多值依赖。
**多值函数依赖：**给的的一对（x,z）值，有一组y的值，这组值仅仅决定于x值而与z值无关。
规范化的基本思想是逐步消除数据依赖中不合适的部分，使模式中的各关系模式达到某种程度的“分离”，即“一事一地”的模式设计原则。
规范化的实质是概念的单一化。