试由amstrong 公理系统推导出下面三条推理规则：
( l ）合并规则：若X 一Z , X 一Y ，则有X 一YZ
( 2 ）伪传递规则：由x 一Y ，明吟z 有翔一z
( 3 ）分解规则：x 一Y , zcy ，有x 一z
( l ）合并规则：若X 一Z , X 一Y ，则有X 一YZ
( 2 ）伪传递规则：由x 一Y ，明吟z 有翔一z
( 3 ）分解规则：x 一Y , zcy ，有x 一z
举一反三
- 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
- （）不符合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
- 下面哪一条是对伪传递规则的描述( ) 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公理系统中的推理规则。 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