域键范式

dbmsdatabasemysql

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

只有符合 4NF、3NF 和其他范式,表才符合域键范式。它基于约束 −

域约束

属性的值具有一些值集,例如,EmployeeID 应该是四位数字 −

EmpIDEmpNameEmpAge
0921Tom33
0922Jack31


键约束

属性或其组合是候选键

一般约束

所有关系集合上的谓词。

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


相关文章