已知关系模式A(c，T．H，R，s)，其中各属性的含义是：c：课程；T：教员；H：上课时间；R：教室；S：学生。根据语义有如下函数依赖集：F={C→T，(H，R)→C，(H，T)→R，(H，s)→R}。现将关系模式A分解为两个关系模式A1(C，T)，A2(H，R，S)，则其中Al的规范化程度达到----。

A. lNF
B. 2NF
C. 3NF
D. BCNF