单项选择题
设F是属性组U上的一组函数依赖，下列哪一条不属于Armstrong公理系统中的基本推理规则？（）
A．若Y
XU，则X→Y为F所逻辑蕴含
B．若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含
C．若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含
D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
单项选择题
A．若YXU，则X→Y为F所逻辑蕴含
B．若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含
C．若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含
D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
Y，则称X→Y为非平凡的函数依赖
X，则称X→Y为非平凡的函数依赖
Y，则称X→Y为非平凡的函数依赖