如果属性或属性组F是关系R的（），它与关系S的（）K相对应，则对于关系R中每个元组在属性或属性组F上的值必须为：或者取（）F的每个属性均为空值；或者等于S中某个元组的（）