二、数据依赖的公理系统 问题的提出 在关系模式规范化处理过程中,不仅要知道一个由语义决定的函数 依赖集合,还要知道由这个已知的函数依赖集合所蕴含(或推导出) 的所有函数依赖集合。为此,需要一个有效而完备的公理系统, 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