Toimialueen avaimen normaalimuoto (DKNF) on yksi relaatiotietokantataulukon mahdollisista normaalimuodoista . Ronald Feigin ehdotti sitä vuonna 1981 .
Relaatiomuuttuja on DKNF :ssä silloin ja vain, jos jokainen sille asetettu rajoitus on looginen seuraus relaatiomuuttujalle määrätyistä toimialueen rajoituksista ja avainrajoituksista.
Toimialueen rajoitus on rajoitus, joka määrittää, että vain tietyn toimialueen arvoja käytetään tietylle attribuutille . Rajoitus on pohjimmiltaan tietyn tyypin sallittujen arvojen luettelon (tai luettelon loogisen vastineen) määrittely ja ilmoitus siitä, että määritetty attribuutti on tätä tyyppiä.
Avainrajoitus on rajoitus, joka ilmoittaa, että jokin määrite tai attribuuttien yhdistelmä on ehdokasavain .
Mikä tahansa relaatiomuuttuja, joka on DKNF:ssä, on välttämättä 5NF:ssä. Kaikkia relaatiomuuttujia ei kuitenkaan voida muuntaa DKNF:ksi.
| normaaleja muotoja | |
|---|---|