第6章数据依赖公理系统.pptVIP

第六章 关系数据理论;6.3 数据依赖的公理系统;Armstrong公理系统;1. Armstrong公理系统;2. 导出规则;导出规则;3. 函数依赖闭包;(1) 关于闭包的引理;(2) 求闭包的算法;算法6.l;(3) 计算停止条件,以下四种方法是等价的; U={A, B, C, D}; F={A B, BC D}; A+ = AB. C+ = C. (AC)+ = ABCD.; ;函数依赖闭包;函数依赖闭包;;;;;作业:;随堂练习;F={AB→CD，A→C，GP→B，EP→P ,CDE→P，HB→P, D→HG，D→HG，ABC→PG}。;5. 函数依赖集等价;(1)函数依赖集等价的充要条件;(2)函数依赖集等价;6. 最小依赖集;最小依赖集;7. 极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;第五章 关系数据理论;6.4 模式的分解;关系模式分解的标准;模式的分解（续）;模式的分解（续）;模式的分解（续）;模式的分解（续）;分解后的关系为：;模式的分解（续）;模式的分解（续）;模式的分解（续）;模式的分解（续）;第三种分解方法;模式的分解（续）;模式的分解（续）;具有无损连接性的模式分解;模式的分解（续）;保持函数依赖的模式分解;第四种分解方法;模式的分解（续）;模式的分解（续）;分解算法;分解算法;泛关系假设;小结(续)