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

admin2007-11-28  35

问题 设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://kaotiyun.com/show/NbcZ777K
0

最新回复(0)