一起答
单选

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

  • A)若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含
  • B)若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
  • C)若X→Y及WY→Z为F所逻辑蕴含,则XW→Z为F所逻辑蕴含    
参考答案
查看试卷详情