定义:

如果关系模式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（“∉”为不属于符号）