完整性约束

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

域约束

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

键约束

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

实体完整性约束

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

参照完整性约束

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

你可能感兴趣的:(完整性约束)