判斷是否是2NF
在關係模式中若沒有非主屬性對碼的部分函數依賴即可稱爲2NF
如
考慮關係模式R(A,B,C,D),已知函數依賴有{B->D,AB->C},關係模式R的碼是( ),R屬於( )範式
首先找碼 碼是AB,然後又有D依賴於B,而B屬於AB,所以存在D部分函數依賴於AB,所以不是第二範式
判斷是否是3NF
如果存在 {A->B,B->C},這樣的非主屬性傳遞關係,就不是第三範式。
判斷是否屬於BCNF
在關係模式中,如果每一個決定因素都包含碼,則屬於BCNF
如
T->J,(S,J)->T,(S,T)->J
碼是(S,J) (S,T)
存在T->J,而T不是碼所以不是BCNF