关于范式的一些笔记

    [摘自  数据库系统概论 （第四版）]

1 NF （第一范式）

       定义：每个分量必须是不可分的数据项。

2 NF （第二范式）

      定义  对于属于第一范式的关系，且每一个非主属性都完全依赖于码

3 NF  (第三范式)

     定义  关系模式  R<U,F>中若不存在这样的码 X ,属性组Y及非主属性Z（Z∉Y）使得X——>Y,Y——>Z成立，Y !——>X。

BC NF（BC范式）

    定义  关系模式R<U，F>∈1 NF中，若X——>Y,且Y∉X时X必含有码。

4NF （第四范式）

   定义  关系模式 R<U，F>