域键范式
当数据库中没有插入或删除异常时,一个关系处于 DKNF 中。域键范式是最高形式的范式。其原因是插入和更新异常已被消除。约束由域和键约束验证。
一个表仅在处于 4NF、3NF 及其他范式时才处于域键范式。其基于以下约束−
域约束
一个属性的值有一些值集合,例如,EmployeeID 应为四位数字 −
EmpID | EmpName | EmpAge |
0921 | Tom | 33 |
0922 | Jack | 31 |
键约束
一个属性或其组合是候选键
Explore our latest online courses and learn new skills at your own pace. Enroll and become a certified expert to boost your career.
一般约束
对所有关系集合进行谓词计算。
每项约束都应是对应用于关系的域约束和键约束的逻辑序列。DKNF 的实用性不大。
广告