Normální forma klíče domény (DKNF) je jednou z možných normálních forem tabulky relační databáze . Navrhl to Ronald Feigin v roce 1981 .
Relační proměnná je v DKNF právě tehdy, když každé omezení na ni uložené je logickým důsledkem omezení domény a klíčových omezení uložených na relační proměnnou.
Omezení domény je omezení, které určuje, že pro konkrétní atribut se použijí pouze hodnoty ze zadané domény . Omezení je v podstatě specifikace seznamu (nebo logický ekvivalent seznamu) povolených hodnot typu a deklarace, že zadaný atribut je tohoto typu.
Klíčové omezení je omezení, které uvádí, že nějaký atribut nebo kombinace atributů je kandidátským klíčem .
Jakákoli proměnná vztahu, která je v DKNF, je nutně v 5NF. Ne každou relační proměnnou však lze převést na DKNF.
| normální formy | |
|---|---|