當數據庫中不存在插入或刪除異常時,關系處于 DKNF 中。域鍵范式是規范化的最高形式。原因是刪除了插入和更新異常。約束通過域和鍵約束進行驗證。
只有當表是 4NF、3NF 等范式時,表才是域-鍵范式。它基于約束 –
域約束
屬性的值有一組值,例如,EmployeeID 應該是四位數字 –
EmpID | EmpName | EmpAge |
0921 | 湯姆 | 33 |
0922 | 杰克 | 31 |
鍵約束
屬性或其組合是候選鍵
一般約束
對所有關系的集合進行謂詞。
每個約束都應該是應用于關系的域約束和關鍵約束的邏輯序列。 DKNF的實際效用較少。
以上就是域鍵范式的詳細內容,更多請關注www.92cms.cn其它相關文章!