设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所逻辑蕴含,且ZY,则X→Z为F所逻辑蕴含
相关考题:
(52)设 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 所逻辑蕴含
(17)Armstrong 公理系统中的增广律的含义是:设 R 是一个关系模式,X,Y 是U 中属性组,若 X→Y 为 F所逻辑蕴含,且 ZíU,则___________为 F 所逻辑蕴含。
设F是属性组U上的一组函数依赖,下列叙述正确的是A.若YX,则X→Y为F所逻辑蕴含B.若XU,则X→Y为F所逻辑蕴含C.若X→Y为F所逻辑蕴含,且ZU,则X→YZ为F所逻辑蕴含D.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述? ( )A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含B.由X→Y及ZY,有X→ZC.由X→Y,WY→Z,有XW→ZD.由X→Y,X→Z,有X→YZ
下面哪一条是对Armstrong公理系统中合并律的描述?( )A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含B.由X→Y及,有X→ZC.由X→Y,WY→Z,有XW→ZD.由X→Y,X→Z,有X→YZ
设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所逻辑蕴含
设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所逻辑蕴含
设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所逻辑蕴含
【单选题】设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所逻辑蕴含