设F是属性组U上的一组函数依赖，下列（）属于Armstrong公理系统中的基本推理规则。

admin2012-04-17 71

问题设F是属性组U上的一组函数依赖，下列（）属于Armstrong公理系统中的基本推理规则。

选项 A、若x→Y及x→z为F所逻辑蕴含，则x→Z为F所逻辑蕴含
B、若X→Y及Y→z为F所逻辑蕴含，则x→Z为F所逻辑蕴含
C、若x→Y及WY→z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含
D、若x→Y为F所逻辑蕴含，且z∈Y，则x→z为F所逻辑蕴含

答案B

解析

转载请注明原文地址:https://kaotiyun.com/show/r4vZ777K

三级数据库技术

相关试题推荐

随机试题

最新回复(0)