A tartománykulcs normál formája (DKNF) a relációs adatbázistábla egyik lehetséges normál formája . Ronald Feigin javasolta 1981 - ben .
Egy relációs változó akkor és csak akkor van a DKNF-ben, ha minden rá rótt megszorítás a relációs változóra rótt tartományi megszorítások és kulcskényszerek logikai következménye.
A tartománykényszer olyan megszorítás, amely azt határozza meg, hogy egy adott attribútumhoz csak egy megadott tartomány értékeit használják fel . A megszorítás lényegében egy lista (vagy egy lista logikai megfelelője) specifikációja, amely egy típus megengedett értékeit tartalmazza, és deklarálja, hogy a megadott attribútum az adott típushoz tartozik.
A kulcskényszer olyan megszorítás, amely kimondja, hogy bizonyos attribútumok vagy attribútumok kombinációja kulcsjelölt .
Minden relációs változó, amely a DKNF-ben van, szükségszerűen az 5NF-ben van. Azonban nem minden relációs változó konvertálható DKNF-re.
| normál formák | |
|---|---|