在关系模型中，若属性A是关系R的外码，则在R的任何元组中，属性A的取值都不允许为空，这种约束称为【 】规则。