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