域键范式
dbmsdatabasemysql
当数据库中不存在插入或删除异常时,关系符合 DKNF。域键范式是范式的最高形式。原因是插入和更新异常被删除。约束通过域和键约束进行验证。
只有符合 4NF、3NF 和其他范式,表才符合域键范式。它基于约束 −
域约束
属性的值具有一些值集,例如,EmployeeID 应该是四位数字 −
EmpID | EmpName | EmpAge |
0921 | Tom | 33 |
0922 | Jack | 31 |
键约束
属性或其组合是候选键
一般约束
所有关系集合上的谓词。
每个约束都应该是应用于关系的域约束和关键约束的逻辑序列。DKNF 的实际用途较少。