Elementary key normal form とは

Elementary Key Normal Form(EKNF)は3番目の正規形の微妙な拡張であるため、EKNFテーブルは3NFに定義されています。これは、複数の一意の複合キーがあり、それらが重複している場合に発生します。このような場合は、重複する列に重複した情報が表示される可能性があります。
すべての基本的な関数の依存関係がすべてのキーから始まるか、または基本的なキー属性で終了する場合に限り、テーブルはEKNF内にあります。 X→Yの形のすべての自明ではない関数従属性について、XはキーかYは基本キー(の一部)です。
EKNFは1982年にCarlo Zanioloによって定義されました。