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
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
- 下面哪一条是对伪传递规则的描述( ) 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
- 设F是属性组U上的一组函数依赖，以下( )属于Armstrong公理系统中的基本推理规则。 A: 若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含 B: 若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含 C: 若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含 D: 若X→Y为F所逻辑蕴含，且Z∈Y，则X→Z为F所逻辑蕴含
- 下面关于函数依赖的叙述中，( )是Armstrong公理系统中的推理规则。 A: 若Y→X，则X→Y B: 若X→Y，WY→Z，则XW→Z C: 若XY→Z，则X→Z，Y→Z D: 若X→YZ，则X→Y，X→Z
- （）不符合Armstrong推理规则。 A: 若X→Z, X→Y,则有X→YZ B: 若X→Y, WY→Z,则有XW→Z C: 若X→Y, ZY,则有X→Z D: 若XZ→Y, 则有X→Z