数据依赖的公理系统
定义:对于满足一组函数依赖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公理