我有一个类型为 R={A,B,C,D,E,F} 的关系数据库,具有 F = {{AB-->C}; 等功能依赖关系。{A-->D}; {D-->AE}; {E-->F}}
但是,在推理规则的帮助下,我提出了 BD-->ABCEF 语句,我想知道分解规则是否允许从右侧消除 B?
分解规则说:
如果 X --> YZ 那么 X --> Y 和 X --> Z
基本上 BD --> ACEF 是否正确?
我有一个类型为 R={A,B,C,D,E,F} 的关系数据库,具有 F = {{AB-->C}; 等功能依赖关系。{A-->D}; {D-->AE}; {E-->F}}
但是,在推理规则的帮助下,我提出了 BD-->ABCEF 语句,我想知道分解规则是否允许从右侧消除 B?
分解规则说:
如果 X --> YZ 那么 X --> Y 和 X --> Z
基本上 BD --> ACEF 是否正确?