数据库笔记（一）

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

ArmStrong公理系统：关系模式R<U，F>来说有以下的推理规则：

• 自反律：若Y包含于X包含于U，则X->Y为F所蕴含；
• 增广律：若X->Y为F所蕴含，且Z包含于U，则XZ->YZ为F所蕴含；
• 传递律：若X->Y及Y->Z为F所蕴含，则X->Z为F所蕴含。

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

设F为属性集U上的一组函数依赖，X包含于U，XF+={A | X->A能由F根据ArmStrong公理导出 }，XF+称为属性集X关于函数依赖集F的闭包。