如果關係模式R中的每一個連線依賴均由R的候選碼所隱含，則稱R∈5NF。
擴展:所謂“R中的每一個連線依賴均由R的候選碼所隱含”是指在連線時，所連線的屬性均為候選碼。
設關係模式SPJ（SNO,PNO,JNO），其中SNO表示供應者號，PNO表示零件號，JNO表示項目號。設有關係SPJ。如果將SPJ模式分解為SP、PJ和JS，並進行SP⋈PJ及SP⋈PJ⋈JS的自然連線，其運算元據及連線結果如圖(注:“⋈”符號為連線符)
| SPJ | ||
| SNO | PNO | JNO |
| S1 | P1 | J2 |
| S1 | P2 | J1 |
| S2 | P1 | J1 |
| S1 | P1 | J1 |
| SP | |
| SNO | PNO |
| S1 | P1 |
| S1 | P2 |
| S2 | P1 |
| PJ | |
| PNO | JNO |
| P1 | J2 |
| P2 | J1 |
| P1 | J1 |
| JS | |
| JNO | SNO |
| J2 | S1 |
| J1 | S1 |
| J2 | S2 |
| SP⋈PJ⋈JS | ||
| SNO | PNO | JNO |
| S1 | P1 | J2 |
| S1 | P2 | J1 |
| S2 | P1 | J1 |
| S1 | P1 | J1 |
| SP⋈P | ||
| SNO | PNO | JNO |
| S1 | P1 | J2 |
| S1 | P1 | J1 |
| S1 | P2 | J2 |
| S1 | P2 | J1 |
| S2 | P1 | J2 |
| S2 | P1 | J1 |
上例中，因為它僅有的候選碼(SNO,PNO,JNO)肯定不是它的三個投影SP、PJ、JS自然連線的公共屬性，所以 SPJ ∉ 5NF（“∉”為不屬於符號）
