关系的两个不变性:实体完整性、参照完整性,是必须满足的条件
实体完整性(entity integrity)
主属性不能取空值(不知道,不存在,无意义)------通过主码区分
参照完整性
关系与关系之间的联系,可以引用外码,也可以是一个关系
外码(foreign key):可以为空
如果F与S的主码Ks对应,F是R的外码,则R为参照关系或者目标关系(referencing relation),S为被参照关系(referenced relation)
用户定义的完整性
应用领域遵循的约束条件,提供的机制