设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所逻辑蕴含

时间:2022-10-01 10:34:06 所属题库:03139数据库技术题库

相似题目