一范式
一个属性不包含多个数据
二范式
满足一范式,且非主属性完全函数依赖于任何一个候选码
三范式
满足二范式,且不存在任意一个非主属性函数依赖于另一个非主属性
BCNF范式
满足三范式,且任意一个主属性完全函数依赖于任意一个不包含这一主属性本身的候选码
候选码:一个属性或属性组能够定义一行元组,若除去这一属性组中的任意属性就不能定义这一行元组。这一属性或属性组为候选码。一个元组可能有多个候选码
主属性:每一个候选码中的每一个属性都为主属性
函数依赖:B->A 称为A函数依赖于B,指B可确定唯一一个A