如果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