帮考士-在线考试搜题平台帮考士超两百万题库中搜索您的答案

设F是属性组U上的一组函数依赖,下列哪一条不属于Armstrong公理系统中的基本推理规则

帮考试1年前 (2023-11-28)阅读数 11#计算机
文章标签计算机四级

设F是属性组U上的一组函数依赖,下列哪一条不属于Armstrong公理系统中的基本推理规则


A、若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含
B、若YXU,则X→Y
C、若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含
D、若X→Y及Y+Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含

VIP专属内容
本站VIP免费查看
开通会员
开通本站VIP可查看该内容

该内容VIP会员可见,您未登录,请先登录使用专属返佣链接推荐好友充值VIP会员,每单可得20%佣金!

手机访问快速搜题。

版权声明:本文原创或收集发布,未经许可禁止转载。

搜索
热门