设有关系模式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），W3（S，T，R，C）则W1的规范化程序最高达到 （ ）
A.1 NF
B.2NF
C.3NF
D.BCNF