问题
单项选择题
设F是属性组U上的一组函数依赖，下列( )属于Armp公理系统中的基本推理规则。
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所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含
答案
参考答案：B
解析： Armstrong公理系统中的基本推理规则如下： 自反律：若，则X→Y为F所逻辑蕴含； 增广律：若X→Y为F所逻辑蕴含，且，则XZ→YZ为F所逻辑蕴含： 传递律：若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
