数据库系统概论第六章习题

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
        错，（学号，课程号）推成绩

该部分其实挺复杂的，但是好像考得也不太深，大概率是出判断题和推导题，后面多找些习题练下，注意还有一类用闭包求候选码的题目