第06章-练习.pptVIP

石家庄经济学院　　　张有华 6.关系数据理论 6.1 关系数据库设计中存在的问题 6.2 函数依赖 6.3 范式与规范化 6.4 多值依赖 6.5 模式分解中的问题 6.6 公理系统 2NF 快速热身 关系模式R（A，B，C，D），码为AB，给出它的一个函数依赖集，使得R属于1NF而不属于2NF。 3NF 快速热身 关系模式R（A，B，C，D），码为AB，给出它的一个函数依赖集，使得R属于2NF而不属于3NF。 范式之间关系 3NF ? 2NF 范式之间关系 BCNF ? 3NF 引理6.1： X?A1A2…AK成立的充分(←)必要(→)条件是： X?Ai成立(i=1,2,…,k) Armstrong公理有效性及完备性 Armstrong公理的有效性及完备性 有效性： 由F出发，用Armstrong公理推导出的每一个函数依赖均在F+中。 完备性： F+中的每一个FD均可以由F出发根据Armstrong公理导出。 Armstrong公理 Armstrong公理有效性证明：由定义6.12可证。 Armstrong公理完备性的证明：见P184（Line10-13）。 Armstrong公理完备性及有效性说明了“导出”和“蕴含”是两个完全等价的概念。于是F+可以说是由F出发借助Armstrong公理导出的函数依赖的集合。 求解属性集X闭包