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