BC →AD AD →EB E →C 阿姆斯特朗公理推导详细过程
时间: 2023-11-18 12:11:51 浏览: 65
这道题可以用阿姆斯特朗公理来推导出所有的函数依赖,过程如下:
1. BC → AD:根据阿姆斯特朗公理,我们可以推导出所有的超集,即BCD、BCE、BDE、BCE、ABCD、ABCE、ABDE、ABCE,由此得到所有的函数依赖为:
```
BC → A
BC → D
BC → AD
BCD → A
BCD → D
BCD → AD
BCE → A
BCE → D
BCE → AD
BDE → A
BDE → D
BDE → AD
ABCD → E
ABCE → E
ABDE → E
```
2. AD → EB:同样根据阿姆斯特朗公理,我们可以推导出所有的超集,即ADE、ABDE、ABCE、ABCD、ABCDE、AEBD、AECB、AECD,由此得到所有的函数依赖为:
```
AD → E
ADE → E
ABDE → E
ABCE → E
ABCD → E
ABCDE → E
AEBD → E
AECB → E
AECD → E
```
3. E → C:由此得到所有的函数依赖为:
```
E → C
```
综合上述三个推导,可以得到该关系模式中所有的函数依赖为:
```
BC → A
BC → D
BC → AD
BCD → A
BCD → D
BCD → AD
BCE → A
BCE → D
BCE → AD
BDE → A
BDE → D
BDE → AD
ABCD → E
ABCE → E
ABDE → E
AD → E
ADE → E
ABDE → E
ABCE → E
ABCD → E
ABCDE → E
AEBD → E
AECB → E
AECD → E
E → C
```
阅读全文