若属性(或属性组)F是基本关系R的外码,他与基本关系S的主码K,相对应(基本关系R和S不一定是相同的关系),则对于R中每个元组在F上的值必须为:或者取空值(F的每个属性值均为空值);或者等于S中某个元组的主码值。