软考-关于范式

 

范式

第一范式

        表里每一个属性都是单独的不可再分的。

第二范式

         在第一范式的基础上，消除非主属性对于主属性的部分函数依赖，每一个非主属性完全依赖于候选码，通俗的来讲，就是每一个非主属性不会依赖复合主键中的某一列，如在表F{R,S,Z}中候选码为{R，S}，非主属性{Z}，Z->R，则F达不到第一范式，如Z->RS, 则F达到第二范式。

 第三范式

          在第一范式的基础上，消除非主属性对主属性的传递依赖，每一个非主属性不存在对主键的传递依赖。

 bc范式

       在第三范式的基础上，消除主属性对于码的部分函数依赖和传递依赖，在每一种情况下，每一个依赖的左边决定因素都必然包含候选码,

        如在表{S,T,J}中，依赖集为{RS->D,D->S},则组合键为{R，S}、{R，D}，所以{R，S，D}都是主属性，达到了第三范式。在第一种情况下，{R,D}为候选码的时候，依赖集里的每一个依赖的左边都包含了候选码，所以第一种情况符合，在第2种情况下，{R，S}为候选码的时候，{D->S}并不包含候选码，所以该表并不是BC范式