已知学生关系student(学号, 姓名, 系别)，如果规定学号的值域必须是7个数字组成的字符串，则这一个规则属于用户自定义完整性约束。