第九章第一次课的学习记录

函数依赖的推理规则

为了确定关系中有用的函数依赖，通常先是确定哪些语义上非常明显的函数依赖

1.Armstrong公理（1）：自反律（2）：增广律（3）：传递律

2.Armstrong公理推论（1）：合并规则（2）：分解规则（3）：伪传递规则

（4）：复合规则

所有被F逻辑蕴含的函数依赖的全集称为F的闭包，记作F+

属性即比包

判定函数依赖X—>Y是否能由F导出问题，可转化为求X+并判定Y是否是X+子集的问题。即求函数依赖集闭包问题可转化为求属性集问题。