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