在定义基本表的SOL语句CREATETABLE中，如果要定义某个属性不能取空值，应在该属性后面使用的约束条件短语是____________。