设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所逻辑蕴含D．若X→Y为F所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含
题目
设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所逻辑蕴含
D．若X→Y为F所逻辑蕴含，且Z
Y，则X→Z为F所逻辑蕴含
相似考题
更多“ 设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则?A．若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含B．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含C．”相关问题
-
第1题：
下面哪一条是对Armstrong公理系统中合并律的描述?( )
A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
B．由X→Y及
，有X→ZC．由X→Y，WY→Z，有XW→Z
D．由X→Y，X→Z，有X→YZ
正确答案：D
解析：Armstrong公理系统包括6个推理规则，自反律：若，则称X→Y为F所逻辑蕴含。增广律：若X→Y为F所逻辑蕴含，且，则XZ→YZ为F所逻辑蕴含。传递律；若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。合并律：由X→Y，X→Z，有X→YZ。伪传递律：由X→Y，WY→Z，有XW→Z。分解律：由X→Y及，有X→Z。 -
第2题：
设F是属性组U上的一组函数依赖，下列叙述正确的是
A．若
，则X→Y为F所逻辑蕴含B．若
，则X→Y为F所逻辑蕴含C．若X→Y为F所逻辑蕴含，且
，则X→YZ为F所逻辑蕴含D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
正确答案：D
解析：自反律：若
，则X→Y为F所逻辑蕴含；增广律：若X→Y为F所逻辑蕴含，且
，则XZ→YZ为F所逻辑蕴含；传递律：若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
-
第3题：
【单选题】设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所逻辑蕴含
D．若X→Y为F所逻辑蕴含，且Z[*]Y，则X→Z为F所逻辑蕴含
√ -
第4题：
设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所逻辑蕴含
正确答案：B
Armstrong公理系统中的基本推理规则如下： -
第5题：
设F是属性组U上的一组函数依赖,下列叙述正确的是
A．若Y∈U则X→Y为F所逻辑蕴含
B．若X∈U则X→Y为F所逻辑蕴含
C．若X→Y为F所逻辑蕴含,且Z∈U则X→YZ为F所逻辑蕴含
D．若X→Y及X→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
正确答案：D
解析：本题主要考查了对函数依赖的几个推理规则。 自反律:若YXU则X→Y为F所逻辑蕴含;增广律:若X→Y为F所逻辑蕴含,且ZU则XZ→YZ为F所逻辑蕴含;传递律:若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。