约束是指所有有效关系状态必须满足的条件
域约束
- 域约束指元组中每个属性A的值必须是来自域dom(A)的原子值
键约束
- 一个关系中的所有元组也必须是不同的
- 每个关系必须要有主键,且每个元组的主键值不得重复
实体完整性约束
- 主键不允许为空
- 复合主键的各属性都不能取空值,而不仅是主键整体不能取空值
参照完整性约束
- 外键或者取Null值(在允许为Null的情况下)
- 如果外键是主属性(组成键的属性),则不允许为空
- 外键或者等于其被参照关系某个元组的主键值
约束是指所有有效关系状态必须满足的条件