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

Question

设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所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含

Answer 1

正确答案：B
解析：本题考查Armstrong公理系统的概念。Armstrong公理系统对关系模式RU， 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。