下列关于函数依赖的叙述中,( )是Armstrong公理系统中的推理规则。A.若Y→X, 则X→YB.若X→Y,WY→Z, 则XW→ZC.若XY→Z, 则X→Z,Y→ZD.若X→YZ, 则X→Y,X→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
相关考题:
设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所逻辑蕴含
下面关于函数依赖的推理,不正确的是()。A.若X→Y,WY→Z,则XW→ZB.若YÍX,则X→YC.若XY→Z,则X→Z,Y→ZD.若X→YZ,则X→Y,X→Z