Annstrong 公理系统的三条推理规则是【】、增广律和传递律。

A.自反律

B.增广律

C.传递律

D.分解规则

E.合并规则

F.伪传递规则

A.自反律

B.增广律

C.传递律

D.合并规则

E.分解规则

F.伪传递规则

A.缺少推理必要的信息

B.把推理所依赖的公理系统全部锁死

C.缺少推理的灵活性

D.会遭遇“框架问题”

A.完备性

B.简洁性

C.相容性

D.独立性

下面关于函数依赖的叙述中，（）是Armstrong公理系统中的推理规则。

A．若X→Y，WY→Z，则XW→Z

B．若Y→X，则X→Y

C．若XY→Z，则X→Z，Y→Z

D．若X→YZ，则X→Y，X→Z