给定关系 R(A,B,C,D,E)与 S(B,C,F,G),那么与表达式π_2,4,6,7(_{2< 7}(RS))等价的 SQ语句如下:
SELECT（     ）FROM R, S WHERE （     ）；

A．若 X→Y,X→Z,则 X→YZ 为 F 所蕴涵
B．若 X→Y,WY→Z,则 XW→Z 为 F 所蕴涵
C．若 X→Y,Y→Z 为 F 所蕴涵,则 X→Z 为 F 所蕴涵
D．若Ⅹ→Y 为 F 所蕴涵,且 ZU,则 XZ→YZ 为 F 所蕴涵

A．动态语义分析
B．中间代码优化
C．静态语义分析
D．目标代码优化