有关系模式：R（）和S（），若规定S中A的值必须属于R中A的有效值，则这种约束属于（）。