设属性a是关系r的主属性,则a不能为空,这是