设关系模式R(U,F)，其中U为属性集，F是U上的一组函数依赖，那么函数依赖的公理系统(Armstrong公理系统)中的合并规则是指( )为F所蕴涵。

admin2016-05-11 36

问题设关系模式R(U,F)，其中U为属性集，F是U上的一组函数依赖，那么函数依赖的公理系统(Armstrong公理系统)中的合并规则是指( )为F所蕴涵。

选项 A、若A→B，B→C，则A→C
B、若

，则X→Y
C、若A→B，A→C，则A→BC
D、若A→B，

，则A→C

答案C

解析本题考查函数依赖推理规则。
函数依赖的公理系统(即Armstrong公理系统)为：设关系模式R(U，F)，其中U为属性集，F是U上的一组函数依赖，那么有如下推理规则：
A1自反律：若

，则X→Y为F所蕴涵。
A2增广律：若X→Y为F所蕴涵，且

，则XZ→YZ为F所蕴涵。
A3传递律：若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵。
根据上述三条推理规则又可推出下述三条推理规则：
A4合并规则：若X→Y，X→Z，则X→YZ为F所蕴涵。
A5伪传递率：若X→Y，WY→Z，则XW→Z为F所蕴涵。
A6分解规则：若X→Y，

，则X→Z为F所蕴涵。
选项A符合规则为A3，即传递规则；选项B符合规则为A1，即为自反规则；选项C符合规则为A4，即为合并规则；选项D符合规则为A6，即为分解规则。

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

网络规划设计师上午综合知识考试

相关试题推荐

随机试题

最新回复(0)