第五範式

第五範式是指關係模式R依賴均由R候選碼所隱含。

基本介紹

• 中文名：第五範式
• 外文名：The fifth Normal Form(R∈5NF)
• 定義：關係模式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
J2	S2

SP⋈PJ⋈JS
SNO	PNO	JNO
S1	P1	J2
S1	P2	J1
S2	P1	J1
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（“∉”為不屬於符號）