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
查看答案
正确答案
试题解析
解析:本题考查Armstrong公理系统的概念。Armstrong公理系统对关系模式RU, F>来说有以下的推理规则: 自反律(Reflexivity):若Y≤X≤U,则X→Y为F所蕴含;增广律(Au2mentation):若X→Y为F所蕴含,且Z≤U,则 XZ→YZ为F所蕴含;传递律(Transitivity):若X→Y及Y→Z为F所蕴含,则X→2为F所蕴含。这里注意:由自反律所得到的函数依赖均是平凡的函数依赖;自反律的使用并不依赖于F。由此可见,选项B符合Armstrong公理系统的传递律。正确答案为选项B。