范式是符合某一种级别的关系模式的集合. 关系数据库中的关系必须满足一定的要求. 满足不同程度要求的为不同范式.
范式的种类:
第一范式(1NF)
第二范式(2NF)
第三范式(3NF)
BC范式(BCNF)
第四范式(4NF)
第五范式(5NF)
1NF的定义 定义 如果一个关系模式R的所有属性都是不可分的基本数据项, 则R∈1NF.
2NF的定义 定义 若关系模式R∈1NF, 并且每一个非主属性都完全函数依赖于R的码, 则R∈2NF.
3NF的定义 若R∈3NF, 则R的每一个非主属性既不部分函数依赖于候选码也不传递函数依赖于候选码.
4NF的定义 就是限制关系模式的属性之间不允许有非平凡且非函数依赖的多值依赖. 4NF所允许的非平凡多值依赖实际上是函数依赖.