三、关系模型的完整性

关系模型的完整性规则是对关系的某种约束条件。它包括实体完整性、参照完整性和用户定义完整性。实体完整性和参照完整性是关系模型必须满足的完整性约束条件，被称作是关系的两个不变性，一般由关系系统自动支持。参照完整性是指若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为：或者取空值（F的每个属性值均为空值）或者等于S中某个元组的主码值。用户定义完整性是一种与应用密切相关的数据完整性约束，如某个属性的值必须唯一。最常见的是限 ......