引理6.2 设F为属性集U上的—组函数依赖,Ⅹ,YεU,Ⅹ→Y能由F根据阿氏 公理导出的充分必要条件是YX+ 用途 将判定X→Y是否能由F根据 Armstrong公理导出的问题,转化为求出 X+、判定Y是否为X的子集的问题。 引理6.2 设F为属性集U上的一组函数依赖，X，Y  U，X→Y能由F根据阿氏 公理导出的充分必要条件是Y  XF + 。  用途 将判定X→Y是否能由F根据Armstrong公理导出的问题，转化为求出 XF + 、判定Y是否为XF +的子集的问题