当用户对基本表中插入一条记录时，DBMS会根据规则自动检查主码取值是否唯一和是否为空。