域鍵範式

關係數據庫設計的域鍵範式 ( Domain - key normal form, DK / NF ) ， 是數據庫規範化的一個級別 ， 以去除關係不包含於域約束 （ domain constraint ） 的其他約束 。 域約束指出給定屬性的取值範圍 。 鍵約束指出這幾個屬性唯一確定了表中的一行 。 域鍵範式使得一個關係的所有約束都是鍵與域 （ domain ） 定義的邏輯蘊涵 ； 因而執行對鍵與域上的限制與條件後 ， 將導致所有的約束都滿足 。 滿足域鍵範式 ， 使得數據庫避免了不是清晰的域約束或鍵約束的一般性約束 。 這種一般性約束往往需要特殊編程 （ 如存儲過程 ） 來檢驗是否滿足 。 第三範式 、 BC範式 、 第四範式與第五範式是域鍵範式的特例 。 因爲函數依賴 、 多值依賴與連接 （ join ） 依賴都可以轉換爲 （ 超 ） 鍵 。 這些範式對域約束沒有討論 ， 可看作沒有域約束 。