3 第二范式:消去部分函數依賴
定義:如果一個關系R屬于第一范式,且每一個非主屬性都不是部分函數依賴于主關鍵字,或者說每一個非主屬性都完全函數依賴于主關鍵字,則稱這種關系是符合第二范式的,記為RÎ2NF。
為滿足2NF,對1NF的例子進行加工,把它們分解成三個關系,使每一個非主屬性都完全依賴于主關鍵字。
以上三個關系解決了1NF提出的刪除與插入異常的問題。滿足了2NF,但仍然存在新的刪除異常、插入異常、冗余度大。造成此問題的原因在于關系中存在著非主屬性傳遞函數依賴于主關鍵字。
定義:如果一個關系R屬于第一范式,且每一個非主屬性都不是部分函數依賴于主關鍵字,或者說每一個非主屬性都完全函數依賴于主關鍵字,則稱這種關系是符合第二范式的,記為RÎ2NF。
為滿足2NF,對1NF的例子進行加工,把它們分解成三個關系,使每一個非主屬性都完全依賴于主關鍵字。
以上三個關系解決了1NF提出的刪除與插入異常的問題。滿足了2NF,但仍然存在新的刪除異常、插入異常、冗余度大。造成此問題的原因在于關系中存在著非主屬性傳遞函數依賴于主關鍵字。