【单选题】
设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则？（）
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所逻辑蕴含
查看正确答案
A、一定满足对4NF的要求 B、没有任何属性完全函数依赖于非码的任何一组属性 C、所有非主属性对每个码都是完全函数依赖 D、所有的主属性对每个不包含它的码也是完全函数依赖
