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

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

admin2016-05-11  63
问题 设关系模式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://www.kaotiyun.com/show/GgQZ777K
本试题收录于： 系统架构师上午综合知识考试题库软考高级分类
0

系统架构师上午综合知识考试

软考高级

相关试题推荐
随机试题
最新回复(0)