设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所逻辑蕴含
微信扫一扫手机做题
多做题，通过考试没问题！
03139数据库技术
03139数据库技术
设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则？（）
微信扫一扫手机做题