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