关系的三类完整性约束:
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中某个元组的主码值
用户定义完整性: