设有关系模式 W（C，P，S，G，T，R），其中各属性的含义是：C 表示课程，P 表示教师，S 表示学生，G 表示成绩，T 表示时间，R 表示教室，根据语义有如下数据依赖集：D={ C→P，（S，C）→G，（T，R）→C，（T，P）→R，（T，S）→R }，若将关系模式W 分解为三个关系模式 W1（C，P），W2（S，C，G），W2（S，T，R，C），则 W1 的规范化程序最高达到（ ）