设有关系模式R(A，B，C)，根据语义有如下函数依赖集：F=A→B，(B，C)→A。关系模式R的规范化程度最高达到( )。

A．外模式、模式、子模型
B．子模型、模式、概念模式
C．模式、内模式、存储模式
D．外模式、模式、内模式

A．若X→Y，X→Z，则X→YZ
B．若XY→Z，则X→Z，Y→Z
C．若X→Y，WY→Z，则XW→Z
D．若X→Y，Y→Z，则X→Z