数据库—关系的完整性

关系的三类完整性约束

• 实体完整性和参照完整性
  • 关系模型必须满足的完整性约束条件称为关系的两个不变性，应该有关系系统自动支持
• 用户定义的完整性
  • 应用领域需要遵循的约束条件，体现了具体领域中的语义约束

一、实体完整性

1、规则2.1  实体完整性规则

• 若属性a是基本关系R的主属性则属性a不能取空值
• 空值就是不知道或不存在或无意义的值

2、实体完整性规则的说明

• 实体完整性规则是针对基本关系而言的一个基本表，通常对应现实世界的一个实体集。
• 现实世界中的实体是可区分的，即他们具有某种唯一性。标识
• 关系模型中以竹码作为唯一性标识，
• 主码中的属性及主属性不能取空值，主属性取空值就说明存在某个不可标识的实体，即存在不可区分的实体这与第二点相矛盾，因此这个规则称为实体完整性

二、参照完整性

1、关系间的引用

    在关系模型中，实体及实体间的联系都是用关系来描述的，自然存在着关系与关系间的引用

2、外码

• 设F是基本关系二的一个或一组属性，但不是关系二的码，如果F与基本关系S的主码K相对应，则称K是R的外码
• 基本关系R称为参照关系，
• 基本关系S称为被参照关系或目标关系  
• 关系R和S不一定是不同的关系
• 目标关系S的主码K和参照关系的外码F必须定义在同一个货一组域上
• 外码并不一定要与相应的竹马同名，
  • 当外码与相应的竹码属于不同关系时，往往取相同的名字，以便于识别

3、参照完整性规则

     规则2.2  参照完整性规则

     若属性或属性组F是基本关系R的外码，它与基本关系S的主码K相对应。基本关系R和S不一定是不同的关系，则对于R中的每一个元素，在F上的值必须为

• 或者取空值F的每个属性值均为空值
• 或者等于S中某个元组的主码值

三、用户定义的完整性

• 针对某一具体关系数据库的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求。
• 关系模型应提供定义和检验这类完整性的机制，以便用统一的、系统的方法处理它们，而不需由应用程序承担这一功能