参考答案：B

解析： Armstrong公理系统包括以下3条推理规则。
设F是属性组U上的一组函数依赖，于是有以下推理规则：
①自反律。若Y∈X∈U，则X→Y为F所逻辑蕴含。
②增广律．若X→Y为P所逻辑蕴含，且Z∈U，则XZ→YZ为 F所逻辑蕴含。
③传递律。若X→Y即Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
若X→→Y，而Z=Φ，则称X→→Y为平凡的多值依赖。
若X→→Y在R(U)上成立，用Y’∈Y，我们不可以断言X→→y’成立。
设R是属性集U上的一个关系模式，X、Y是U的子集， Z=U-X-Y，多值依赖的性质如下：
①若X→→Y，则X→→Z，其中Z=U-X-Y，即多值依赖具有对称性。
②若X→Y，则X→→Y，即函数依赖可以看作多值依赖的特殊情况。
③设属性集之间的关系是XY∈W∈U，那么当X→→Y在R(U)上成立的时候，X→→Y在R(W)上也成立；反过来当X→→Y在R(W)上成立时，X→→Y在R(U)上不一定成立。
④若X→→Y，且Y’∈Y，但不能断言X→→Y’也成立。因为多值依赖的定义中涉及了U中除X、Y之外的其余属性Z，考虑X→→Y’是否成立时涉及的其余的属性Z’=U-X-Y’比确定X→→Y成立时的其余属性Z=U-X-Y包含的属性列多，因此X→→Y’不一定成立。