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