三大范式NF

三大范式

1NF
属性是原子不可再分的
2NF
每个非主属性都由整个码决定。当1NF消除了非主属性对码的部分函数依赖,
3NF
当2NF消除了非主属性对码的传递函数依赖,则称为3NF。

无损链接

关系模式R(U,F)的一个分解p = {R, U1, F1),R2(U2,F2),.., R(Uk,F)}具有无损连接的充分必要
条件是UNU2 → U1 - U2 EF+或U1n U2 → U2 - U ∈ F+。
F+是模式分解后子模式函数依赖集的并集。