设关系模式R(U,F),其中U为属性集,F是U上的一组函数依赖,那么函数依赖的公理系统(Armstrong公理系统)中的合并规则是指( )为F所蕴涵。
A、
若A→B,B→C,则A→C
B、
若
C、
若A→B,A→C,则A→BC
D、
若A→B,
【正确答案】
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,
提交答案
关闭