526互联

数据库基础之部分例题的解决

发布时间 2023-10-22 16:44:08作者: yesyes1

例题一


这里考察的就是关于ArmStrong公理系统的六条规则：

1、自反律--若Y是X的子集，那么X-->Y；

2、增广律--若X-->Y，则XZ-->YZ；

3、传递律--若X-->Y，Y-->Z，则X-->Z；

4、合并规则--若X-->Y,X-->Z,则X-->YZ；

5、伪传递规则--若X-->Y,WY-->Z，则XW-->Z；

6、分解性规则--若X-->Y，Z是Y的子集，则X-->Z；

例题二

首先需要明白除法运算是干什么的：

抽象组上大分！！！

具体解决：