【梳理】数据库系统概论 第6章 关系数据理论 6.3 数据依赖的公理系统

教材：王珊 萨师煊 编著 数据库系统概论（第5版） 高等教育出版社
注：文档高清截图在后

6.3 数据依赖的公理系统

1、有满足一组函数依赖F的关系模式R<U, F>。如果函数依赖X→Y对R的全部关系r成立（对r中的任意两个元组s、t，若s[X] = t[X]则s[Y] = t[Y]），就说F逻辑蕴涵X→Y。也就是说，F能够推出不直接存在于F中的依赖X→Y。

2、Armstrong公理系统（axiom） 设属性集总体U，F是U上的一组函数依赖，对关系模式R<U, F>有以下推理规则：
【1】自反律（reflexivity rule）：若 ，则X→Y为F所蕴涵。
【2】增广律（augmentation rule）：若X→Y为F所蕴涵，且 ，则X∪Z→Y∪Z为F所蕴涵。
【3】传递律（transitivity rule）：若X→Y及Y→Z为F所蕴涵，则X→Z为F所蕴涵。
证明 【1】设R<U, F>中任一关系r中的任意元组s、t，若s[X] = t[X]，由于 ，所以s[Y] = t[Y]。所以X→Y。
【2】设R<U, F>中任一关系r中的任意元组s、t，若s[X∪Z] = t[X∪Z]，则s[X] = t[X]、s[Z] = t[Z]。而X→Y，所以s[Y] = t[Y]，所以由s[Y] = t[Y]，s[Z] = t[Z]得s[Y∪Z] = t[Y∪Z]。又s[X∪Z] = t[X∪Z]，所以X∪Z→Y∪Z为F所蕴涵。
【3】设R<U, F>中任一关系r中的任意元组s、t，若s[X] = t[X]，且X→Y，所以s[Y] = t[Y]。又Y→Z，所以s[Z] = t[Z]。又s[X] = t[X]，所以X→Z为F所蕴涵。

3、（1）合并规则（union rule）：由X→Y，X→Z，有X→Y∪Z。
（2）伪传递规则（pseudo transitivity rule）：由X→Y，W∪Y→Z，（有X∪W→W∪Y）有X∪W→Z。
（3）分解