下面规则中,不正确的是
A.若X→Y,WY→Z,则XW→Z
B.若X→Y,Y→Z,则XY→Z
C.若XY→Z,则X→Z,Y→Z
D.若X→Y,则Y→Z,则X→Z
参考答案:C
解析:
关于函数依赖有如下的Armstrong推理规则:
设有关系模式R(A1,A2,…An) ,U={A1,A2,…An}
规则1:自反律。如果YX
U,则X→Y在R上成立。
规则2:增广律。如果X→Y在R上成立,Z
U,则XZ→YZ在R上也成立。
规则3:传递律。如果X→Y和Y→Z在R上成立,X→Z在R上也成立。
若X→Y,WY→Z,则根据增广律,XW→YW成立,再根据传递律可知XW→Z成立,所以选项A是正确的。
若X→Y,Y→Z,则根据传递律有X→Z,因此XY→Z成立,所以选项B是正确的。
若X→Y,则Y→Z,则根据传递律可知,X→Z成立,所以选项D也是正确的。