1、逻辑蕴涵 定义6.11 对于满足一组函数依赖F的关系模式R<U,F>,其任何一个关系r, 若函数依赖X→Y都成立(即r中任意两元组t、S,若址Ⅺ]=s[X],则 tY]=s[Y]),则称F逻辑蕴含Ⅹ→Y,记为F=X→Y 例如,设F={A→B,B→C},则函数依赖A→C被F逻辑蕴含,记作 F=A→C。即函数依赖集F逻辑蕴含函数依赖A→C1、逻辑蕴涵  定义6.11 对于满足一组函数依赖 F 的关系模式R <U，F>，其仸何一个关系r， 若函数依赖X→Y都成立（即r中仸意两元组t、s，若t[X]=s[X]，则 t[Y]=s[Y]），则称F逻辑蕴含X→Y，记为F⊨X→Y；  例如，设F={ A→B，B→C }，则函数依赖A→C被F逻辑蕴含，记作： F ⊨A→C。即函数依赖集 F 逻辑蕴含函数依赖A→C