如果X→Y和WY→Z成立,那么WX→Z成立。这条规则称为[]
A: 增广性
B: 传递性
C: 伪传递性
D: 分解性
A: 增广性
B: 传递性
C: 伪传递性
D: 分解性
举一反三
- 如果X→Y和WY→Z成立，那么WX→Z成立。这条规则称为（） A: 增广律 B: 传递律 C: 伪传递律 D: 分解律
- 在关系模式R（U）中，如果X→Y和X→Z成立，那么X→YZ也成立。这条推理规则称为合并律。
- 如果M→N，ON→P，那么OM→P成立，该规则称（ ） 。 A: 增广律 B: 传递律 C: 伪传递律 D: 分解律
- 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
- 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