若属性a是关系r的主属性则a不能为空该规则称为