目录
最小依赖集、最小覆盖(minimal cover) 没有仔细看
一、数据依赖的公理系统
逻辑蕴涵
对于满足一组函数依赖F的关系模式R<U,F>,其任何一个关系r,若函数依赖X→Y都成立(即r 中任意两元组t、s,若t[X]=s[X],则 t[Y]=s[Y]),则称F逻辑蕴涵X→Y. F为数据依赖
Armstrong公理系统
设U 为属性集总体,F 是U上的一组函数依赖, 于是有关系模式R<U,F>。对R<U,F>来说有以下的推理规则:
注意:由自反律所得到的函数依赖均是平凡的函数依赖,自反律的使用并不依赖于F
根据A1,A2,A3这三条推理规则可以得到下面三条推理规则: