设有关系模式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的规范化程序最高达到()。