二、数据依赖的公理系统 问题的提出 在关系模式规范化处理过程中,不仅要知道一个由语义决定的函数 依赖集合,还要知道由这个已知的函数依赖集合所蕴含(或推导出) 的所有函数依赖集合。为此,需要一个有效而完备的公理系统, Armstrong公理系统即是这样的一个系统 °相关定义 个函数依赖可以通过已知的函数依赖推导出来;如利用Ⅹ→Y和 Y→乙可以推导出Ⅹ→Z,可以说,函数依赖Ⅹ→Y和Y→乙逻辑蕴含 ( Logical Implication)了X→Z。二、数据依赖的公理系统 问题的提出: 在关系模式规范化处理过程中,丌仅要知道一个由语义决定的函数 依赖集合,还要知道由这个已知的函数依赖集合所蕴含(或推导出) 的所有函数依赖集合。为此,需要一个有效而完备的公理系统, Armstrong公理系统即是这样的一个系统。 相关定义: 一个函数依赖可以通过已知的函数依赖推导出来;如利用X→Y和 Y→Z可以推导出X →Z,可以说,函数依赖X→Y和Y→Z逻辑蕴含 (Logical Implication)了X →Z