若关系R的外码是属性(或属性组)F,它与关系S的主码K相对应,则关系S的主码K的取值必须在关系R中属性(或属性组)F的取值范围内 若关系R的外码是属性(或属性组)F,它与关系S的主码,K相对应,则关系R中属性(或属性组)F的取值必须在关系S的主码K的取值范围内 若关系R的外码是属性(或属性组)F,它与关系S的主码K相对应,则对于R中每个记录在F上的值必须等于S中某个记录的主码值。 若关系R的外码是属性(或属性组)F,它与关系S的主码K相对应,则对于R中每个记录在P上的值或者取空值(F的每个属性值均为空值);或者等于S中某个记录的主码值。