设有关系模式W(C,P,S,G,T,R) ，其中各属性含义是：C——课程，P——教师，S——学生，G——成绩，T——时间，R——教室，根据语义有如下数据依赖集：F={C→P,(S,C) →G, (T,R) →C,(T,P) →R,(T,S) →R}。则在函数依赖的范畴内关系模式W的规范化程度最高可达到的范式是