数据库系统 --- 关系数据库2

一.关系的完整性

①实体完整性和参照完整性：
是关系模型必须满足的完整性约束条件，称为关系的两个不变性，应该由关系系统自动支持。

②用户定义的完整性：
应用领域需要遵循的约束条件，体现了具体领域中的语义约束。

1.实体完整性（针对主码）

（1）实体完整性规则Entity Integrity
①若属性A是基本关系R的主属性，则属性A不能取空值；
②空值就是“不知道”或“不存在”或“无意义”的值。
（2）实体完整性规则的说明
①实体完整性规则是针对基本关系而言的，一个基本表通常对应现实世界的一个实体集。

②现实世界中的实体是可区分的，即他们具有某种唯一性标识。

③关系模型中以主码作为唯一标识。

④主码属性即主属性是不能取空值。
若主属性取空值，就说明存在某个不可标识的实体，即存在不可区分的实体，这与第②点相矛盾，因此这个规则称为实体完整性。

2.参照完整性（针对外码）

（1）关系间的引用
①在关系模型中实体及实体间的联系都是用关系来描述的，自然存在着关系与关系间的引用。
（2）外码
①设F是基本关系R的一个或一组属性，但不是关系R的码。
如果F与基本关系S的主码Ks相对应（或一致），则称F是R的外码。

②基本关系R称为参照关系Referencing Relation

③基本关系S称为被参照关系Referenced Relation或目标关系Target Relation。

④关系R和S不一定是不同的关系。

⑤目标关系S的主码Ks和参照关系的外码F必须定义在同一个（或一组）域上。

⑥外码并不一定要与相应的主码同名。
（当外码域相应的主码属于不同关系时，往往取相同的名字，以便于识别。）

（3）参照完整性规则

①参照完整性规则：
若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为：

a.或者取空值（F的每个属性值均为空值）
b.或者等于S中某个元组的主码值。

3.用户定义的完整性

（1）针对某一具体关系数据库的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求。

（2）关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理它们，而不需由应用程序承担这一功能。