第五范式是指关系模式R依赖均由R候选码所隐含。
如果关系模式R中的每一个连接依赖均由R的候选码所隐含,则称此关系模式符合第五范式。
所谓“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 |
J1 | S2 |
SP⋈PJ⋈JS | ||
SNO | PNO | JNO |
S1 | P1 | J2 |
S1 | P2 | J1 |
S2 | P1 | J2 |
S1 | P1 | J1 |
SP⋈J | ||
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(“∉”为不属于符号)