【数据库系统概论】-关系数据库理论（2）

数据依赖的公理系统

定义：对于满足一组函数依赖F的关系模式R<U,F>，其任何一个关系r，若函数依赖X→Y都成立，则称F逻辑蕴含X→Y。

Armstrong公理系统：设U为属性集总体，F是U上的一组函数依赖，浴室有关系模式R<U,F>。对R<U,F>来说有以下的推理规则：

1）自反律：若Y包含于X包含于U，则X→Y为F所蕴含。

2）增广律：若X→Y为F所蕴含，且Z包含于U，则XZ→YZ为F所蕴含。

3）传递律：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。

根据上述三条推理规则可以得到下边三条推理规则：

1）合并规则：由X→Y，X→Z，有X→YZ。

2）伪传递规则：由X→Y，WY→Z，有WX→Z。

3）分解规则：由X→Y及Z包含于Y，有X→Z。

定义：在关系模式R<U,F>中为F所逻辑蕴含的函数依赖全体叫做F的闭包，记做F+。

定义：设F为属性集U上的一组函数依赖，X包含于U，X[+][F]={A | X→A能由F根据Armstrong公理