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

例题一

这里考察的就是关于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；

例题二

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

抽象组上大分！！！

具体解决：