主键约束要求主键值非空且唯一，这样可以确保每个元组都是唯一的，不会出现歧义或重复。