在Armstrong公理中,以下哪一条规则描述了:若X→Y为F所蕴含,且Z⊆U,则XZ→YZ为F所蕴含( )。
自反律
增广律
传递律
合并规则
【内容考查】本题考查Armstrong公理中的基本推理规则。
【选项分析】
A. 自反律是指若Y⊆X⊆U,则X→Y为F所蕴含,不符合题目描述。
B. 增广律正是题目所描述的规则:若X→Y为F所蕴含,且Z⊆U,则XZ→YZ为F所蕴含。这条规则表明可以在函数依赖的两边同时添加相同的属性集。
C. 传递律是指若X→Y,Y→Z为F所蕴含,则X→Z为F所蕴含,不符合题目描述。
D. 合并规则是指若X→Y,X→Z,则X→YZ为F所蕴含,虽然也是Armstrong公理的推导规则之一,但不是题目所描述的规则。
因此,正确答案是B. 增广律。