设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所逻辑蕴含
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公理系统包括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
- 下面哪一条是对伪传递规则的描述( ) 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
- 给定关系模式R（U，F），其中U为关系R属性集，F是U上的一组函数依赖，若X→Y，（）是错误的，因为该函数依赖不蕴涵在F中。 A: Y→Z成立，则X→Z B: X→Z成立，则X→YZ C: ZU成立，则X→YZ D: WY→Z成立，则XW→Z
- 下面关于函数依赖的叙述中，( )是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