正規化においては、自明でない多値従属性の存在する関係においては決定項が候補キーである場合に限り、第4正規形(4nf)である。