BC范式
满足BC范式的关系将消除任何属性(主属性和非主属性)对关系键的部分函数依赖和传递函数依赖。
在第三范式下,举个例子
如果不存在 –>C , B–>C 类似这样的情况,也就是说部分函数依赖。 A–>B , B–>C 这种情况,也就是传递函数依赖,不管这些ABC属性是主属性还是非主属性,反正就是不存在 “部分函数依赖和传递函数依赖” ,这就是
在第三范式下,举个例子
如果不存在 –>C , B–>C 类似这样的情况,也就是说部分函数依赖。 A–>B , B–>C 这种情况,也就是传递函数依赖,不管这些ABC属性是主属性还是非主属性,反正就是不存在 “部分函数依赖和传递函数依赖” ,这就是
BCNF消除了可能存在的主属性对主码的部分依赖和传递依赖