第五范式(The fifth Normal Form)是指
关系模式R依赖均由R
候选码所隐含。
设
关系模式SPJ(SNO,PNO,JNO),其中SNO表示供应者号,PNO表示零件号,JNO表示项目号。设有关系SPJ。如果将SPJ模式分解为SP、PJ和JS,并进行SP⋈PJ及SP⋈PJ⋈JS的
自然连接,其操作数据及连接结果(注:“⋈”符号为
连接符)
上例中,因为它仅有的
候选码(SNO,PNO,JNO)肯定不是它的三个投影SP、PJ、JS
自然连接的公共属性,所以 SPJ ∉ 5NF(“∉”为不属于符号)