数据依赖的公理系统 定义:对于满足一组函数依赖F的关系模式R<U,F>,其任何一个关系r,若函数依赖X→Y都成立,则称F逻辑蕴含X→Y。对于满足一组函数依赖F的关系模式R<U,F>,其任何 你的当前访问异常,请进行认证后继续阅读剩余内容。 提交