1.由Armostrong公理推导出下面三条推理规则
答：为方便作答，这里直接写思路
合并规则可以有增广律和传递律推出
伪传递规则可以由增广律和传递律推出
分解规则可以由自反律推出
2.判断题
（1）任何一个二目关系属于3NF、BCNF、4NF
对
（2）当且仅当函数依赖A推B在R上成立，关系R（A,B,C）等于其投影R1（A,B）和
R2(A,C)的连接
错，正推可得，反推不然（如改为A->->B即可）
（3）A推B，B推C则A推C
对，传递律
（4）A推B，A推C，则A推BC
对，合并规则
（5）B推A，C推A，则BC推A
对
（6）BC推A，则B推A，C推A
错，（学号，课程号）推成绩
该部分其实挺复杂的，但是好像考得也不太深，大概率是出判断题和推导题，后面多找些习题练下，注意还有一类用闭包求候选码的题目
