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