例子1: 在学生关系中,每个元组的“专业号”属性只能取以下两类值:(1)空值,表示尚未给该学生分配专业;(2)非空值,必须是专业关系中某个元组的有效“专业号”,确保学生不会被分配到不存在的专业中。