数据库系统概论 第六章 关系数据库理论（3）

第4讲 数据依赖的公理系统 数据以来的公理系统是模式分解算法的理论基础 函数依赖的一个有效而且完备的公理系统–Armstrong公理系统 一套推理规则，是模式分解算法的理论基础 用途 从一组函数依赖求得蕴含的函数依赖，例如问X->Y是否被F所蕴含，求给定关系模式的码 逻辑蕴含 1.Armstrong公理系统 2.导出规则 3.函数依赖闭包 设F为属性集U上的一组函数依赖，X ⊆U， XF 由F根据

>>阅读原文<<