数据库理论之范式

完全函数依赖：Y完全函数依赖X，就是Y依赖X的所有属性，即X中少一项都推不出Y

部分函数依赖：Y部分函数依赖X，就是Y依赖X的一部分属性，即X的真子集也可能推出Y

第一范式：每个属性都不可再分

第二范式：第一范式 + 每个非主属性都完全函数依赖主码

第三范式：第二范式 + 消除传递依赖

候选码：能唯一标识一行（一个关系元组）的属性的集合

BC范式：第一范式 + 所有的函数依赖 Y -> X （Y依赖X）中 X 包含候选码。

BC范式消除了部分函数依赖和传递函数依赖，BC范式必定满足第三范式，反之不满足。