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推