リレーショナルデータベースデザイン
リレーションスキーマRが第5正規形(the fifth normal form, 5NF)
であるとは次の条件を満たしているときをいう。:
*(X1,X2,…,Xn)をRの結合従属性とするとき
(1)*(X1,X2,…,Xn)は自明な結合従属性であるか、または
(2)各XiはRのスーパーキーである。
ここに結合従属性*(X1,X2,…,Xn)が自明であるとはX1,X2,…Xnのうちひとつが、
Rの全属性集合に等しいときを言う。結合従属性の性質から
第5正規形は、射影-結合正規形(projection-join normal form, PJNF)ともいう。