完整性约束

约束是指所有有效关系状态必须满足的条件

域约束

• 域约束指元组中每个属性A的值必须是来自域dom(A)的原子值

键约束

• 一个关系中的所有元组也必须是不同的
• 每个关系必须要有主键，且每个元组的主键值不得重复

实体完整性约束

• 主键不允许为空
• 复合主键的各属性都不能取空值，而不仅是主键整体不能取空值

参照完整性约束

• 外键或者取Null值(在允许为Null的情况下)
  • 如果外键是主属性(组成键的属性)，则不允许为空
• 外键或者等于其被参照关系某个元组的主键值