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