域键范式

当数据库中不存在插入或删除异常时，关系处于 DKNF 中。域键范式是规范化的最高形式。原因是删除了插入和更新异常。约束通过域和键约束进行验证。

只有当表是 4NF、3NF 等范式时，表才是域-键范式。它基于约束 -

域约束

属性的值有一组值，例如，EmployeeID 应该是四位数字 -

键约束

属性或其组合是候选键

一般约束

对所有关系的集合进行谓词。

每个约束都应该是应用于关系的域约束和关键约束的逻辑序列。 DKNF的实际效用较少。