柠檬试题库
search
首页 计算机 公务员 驾照 关于

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


  • A.若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含
  • B.若YXU,则X→Y为F所逻辑蕴含
  • C.若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含
  • D.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
热度🔥273
参考答案:A
解析:打开微信小程序查看本题解析