Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述()。


Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述()。

A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含

B.由X→Y及Z→Y,有X→Z

C.由X→Y,WY→Z,有XW→Z

D.由X→Y,X→Z,有X→YZ

正确答案:由X→Y,WY→Z,有XW→Z


Tag:数据库原理及应用 逻辑 规则 时间:2022-01-16 21:32:42