范式

范式：满足特定要求得关系模式。

设有关系模式R(U)，X和Y是属性集U的子集， r是R任一具体关系，如果对r的任意两个元组t1和 t2，都有t1［X］= t2［X］导致t1［Y］= t2［Y］，那么称X函数决定Y或Y函数依赖X，记为X→Y，X→Y为模式R的一个函数依赖。

对于函数依赖W→A，如果存在X⊂W有X→A成立，那么称W→A是局部依赖（A局部依赖于W）；否则称W→A是完全依赖。

如果X→Y，Y→A，且Y→X和  A∈Y，那么称X→A是传递依赖（A传递依赖于X）。

 

第一范式

    如果关系模式R的每个关系r的属性值都是不可分的原子值，那么称R是第一范式（first normal form，简记为1NF）。

    满足1NF的关系称为规范化的关系，否则称为非规范化的关系。关系数据库研究的关系都是规范化的关系。

   1NF是关系模式应具备的最起码的条件。在建立关系数据模型时，必须将非规范化形式规范化，

  

第二范式

    如果关系模式R是1NF，且每个非主属性完全函数依赖于候选键，那么称R是第二范式（2NF）模式。

    如果数据库模式中每个关系模式都是2NF，则称数据库模式为2NF的数据库模式。

 

第三范式

如果关系模式R是1NF，且每个非主属性都不传递依赖于R的候选键，那么称R是第三范式（3NF）的模式。

如果数据库模式中每个关系模式都是3NF，则称其为3NF的数据库模式。