关系的三类完整性约束:

  1.实体完整性和参照完整性

    关系模型必须满足的完整性约束条件称为关系的两个不变性,应该由关系系统自动支持

  2.用户定义的完整性

    应用领域需要遵循的约束条件,体现了具体领域中的语义约束

 

实体完整性(Entity Integrity)

  1.关系的主属性不能取空值

  2.空值就是不知道不存在无意义的值

 

参照完整性:

  1.关系间的引用:实体以及实体间的联系都是用关系来描述的,自然存在关系与关系间的引用

  2.外码:

    设F是基本关系R的一个或一组属性,但不是关系R的码,如果F与基本关系S的主码Ks相对应,则F是R的外码

    基本关系R称为参照关系(Referencing Relation)

    基本关系S称为被参照关系或目标关系

  规则:若属性F是基本关系R的外码它与基本关系S的主码Ks相对应(基本关系R和S不一定是不同的关系),则对于R中的每个元组在F上的值必须为:

      1.空值

      2.等于S中某个元组的主码值

用户定义完整性: