在定义基本表的SQL语句CREATE TABLE中，如果要定义某个属性不能取空值，应在该属性后使用的约束条件短语是【 】。