ドメインキー正規形（DKNF）とは？データベース正規化の最上位形を解説

ドメインキー正規形（DKNF：Domain-Key Normal Form）は、データベースの正規化における最も高い水準の正規形です。データベースに挿入異常や削除異常が一切存在しない状態を指し、これらの更新に関する異常が完全に除去されていることが最大の特徴です。DKNFでは、すべての制約が「ドメイン制約」と「キー制約」によって検証・保証されます。

あるテーブルがドメインキー正規形であるためには、そのテーブルが第4正規形（4NF）、第3正規形（3NF）など、それより低い段階のすべての正規形を満たしている必要があります。DKNFは以下の3つの制約に基づいて成り立っています。

1. ドメイン制約

ドメイン制約とは、属性が取りうる値の集合を定義するものです。例えば、社員ID（EmployeeID）は必ず4桁の数字でなければならない、といったルールが該当します。

上記の例では、EmpIDは4桁の数値というドメイン制約を満たしています。

2. キー制約

キー制約とは、ある単一の属性、または複数の属性の組み合わせが候補キー（candidate key）として機能するという制約です。候補キーにより、リレーション内のタプルを一意に識別できることが保証されます。

3. 一般制約

一般制約とは、すべてのリレーションの集合に対して課される述語（predicate）のことです。業務ルールなど、ドメイン制約やキー制約だけでは表現できない条件を指します。

DKNFの成立条件と実務上の位置づけ

DKNFにおいては、リレーションに適用されるすべての制約が、ドメイン制約とキー制約の論理的な帰結として表現できなければなりません。つまり、一般制約で表現していた内容も、ドメイン制約とキー制約のみで完全に記述できる状態が理想となります。

ただし、この条件を厳密に満たすことは非常に難しいため、DKNFの実務上の有用性は限定的であると言われています。理論的には完璧な正規形ですが、実際のデータベース設計では第3正規形（3NF）やボイスコッド正規形（BCNF）までの適用が一般的です。