第五正規形

ある表がその候補キー内で結合従属性が満足されている場合を第五正規形という。

第五正規形では、キー制約から導かれない結果となる結合従属性があってはならない。