Forma normală a cheii de domeniu (DKNF) este una dintre formele normale posibile ale unui tabel de baze de date relaționale . A fost propus de Ronald Feigin în 1981 .
O variabilă relație este în DKNF dacă și numai dacă fiecare constrângere impusă acesteia este o consecință logică a constrângerilor de domeniu și a constrângerilor cheie impuse variabilei relației.
O constrângere de domeniu este o constrângere care specifică faptul că numai valorile dintr-un domeniu specificat să fie folosite pentru un anumit atribut . O constrângere este, în esență, o specificare a unei liste (sau echivalentul logic al unei liste) de valori permise ale unui tip și o declarație că atributul specificat este de acel tip.
O constrângere cheie este o constrângere care afirmă că un atribut sau o combinație de atribute este o cheie candidată .
Orice variabilă de relație care este în DKNF este în mod necesar în 5NF. Cu toate acestea, nu orice variabilă de relație poate fi convertită în DKNF.
| forme normale | |
|---|---|