有一个关系：学生(学号，姓名，系别)，规定学号的值域是8个数字组成的字符串，这一规则属于()。