2. 计算机
  3. 设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则?

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

admin2007-11-28  53
问题 设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所逻辑蕴含，且Z Y，则X→Z为F所逻辑蕴含
答案B
解析 本题考查Armstrong公理系统的概念。Armstrong公理系统对关系模式R＜U， F＞来说有以下的推理规则：  自反律(Reflexivity)：若Y≤X≤U，则X→Y为F所蕴含；增广律(Au2mentation)：若X→Y为F所蕴含，且Z≤U，则 XZ→YZ为F所蕴含；传递律(Transitivity)：若X→Y及Y→Z为F所蕴含，则X→2为F所蕴含。这里注意：由自反律所得到的函数依赖均是平凡的函数依赖；自反律的使用并不依赖于F。由此可见，选项B符合Armstrong公理系统的传递律。正确答案为选项B。
转载请注明原文地址:https://www.kaotiyun.com/show/NbcZ777K
本试题收录于： 三级数据库技术题库NCRE全国计算机三级分类
0

三级数据库技术

NCRE全国计算机三级

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