域键范式
当数据库中没有插入或删除异常时,一个关系处于 DKNF 中。域键范式是最高形式的范式。其原因是插入和更新异常已被消除。约束由域和键约束验证。
一个表仅在处于 4NF、3NF 及其他范式时才处于域键范式。其基于以下约束−
域约束
一个属性的值有一些值集合,例如,EmployeeID 应为四位数字 −
| EmpID | EmpName | EmpAge |
| 0921 | Tom | 33 |
| 0922 | Jack | 31 |
键约束
一个属性或其组合是候选键
一般约束
对所有关系集合进行谓词计算。
每项约束都应是对应用于关系的域约束和键约束的逻辑序列。DKNF 的实用性不大。
广告
数据结构
网络
关系型数据库管理系统
操作系统
Java
iOS
HTML
CSS
Android
Python
C 编程
C++
C#
MongoDB
MySQL
Javascript
PHP