第6章 关系数据理论 2.ppt

引理：对关系模式RU, F，X、Y? U， X ?Y能由F根据Armstrong公理推出 Y? X + F 根据求闭包的算法，可知 X ? X + F 因此，若 ，则 X ? Y。 Y ? X + F 反之是否成立？ 证明 充分性： 根据属性闭包的定义可得 X?Bi（i=1，2，…，k）都可由F根据Armstrong公理推出， 再由合并规则可得 X?B1B2…Bk， 即 X?Y可由F根据Armstrong公理推出， 设Y=B1B2…Bk，Bi ? X + F ，（i=1，2，…，k） 必要性： 此处证明从略，留作习题 定理： Armstrong公理系统是完备的。 根据定义，需证： 对F+中的每一个函数依赖，必定可由F用Armstrong公理推出 再由F+的定义，需证： 对F所蕴涵的每个函数依赖，必定可由F用Armstrong公理推出 因此，只需证明： 若存在函数依赖 X?Y不能由Armstrong公理推出，则它不为F所蕴涵 分析 欲证 X?Y不为F所蕴涵， 只需证： 存在符合关系模式 RU, F的一个关系r，函数依赖X?Y在r上不成立 因此，需要构造一个关系r： r的属性集是U，且r满足F中的所有函数依赖，但X?Y在r上不成立 关键是