問題詳情

52）设F是属性组U上的一组函数依赖，下列哪一条不属于Armstrong公理系统中的基本推理规则）。
(A)若YXU，则X→Y为F所逻辑蕴含
(B)若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含
(C)若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含
(D)若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

參考答案

答案：A
難度：適中0.5
統計：A(0),B(0),C(0),D(0),E(0)