Armstrong公理系统中的增广律的含义是:设R是一个关系模式,X,Y是U中属性组,若X→Y为F所逻辑蕴含,且ZÍU,则()为F所逻辑蕴含。
第1题:
设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所逻辑蕴含
第2题:
Armstrong公理系统中的增广律的含义是:设R<U,F>,是一个关系模式,X,Y是U中属性组,若x→Y为F所逻辑蕴含,且Z∈U,则【 】为F所逻辑蕴含。
第3题:
(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 所逻辑蕴含
第4题:
下面哪一条是对Armstrong公理系统中合并律的描述?( )
A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
B.由X→Y及,有X→Z
C.由X→Y,WY→Z,有XW→Z
D.由X→Y,X→Z,有X→YZ
第5题:
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
第6题:
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
第7题:
设关系模式R(U, F),其中U为属性集,F是U上的一组函数依赖,下列叙述中正确的是( )。
A.若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵
B.若X→Y,Y→Z为F所逻辑蕴涵,则X→Z为F所逻辑蕴涵
C.若YXU,则Y→X为F所逻辑蕴涵
D.若XYU,则X→Y为F所逻辑蕴涵
第8题:
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZíU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作( )
第9题:
Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述? ( )
A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
B.由X→Y及ZY,有X→Z
C.由X→Y,WY→Z,有XW→Z
D.由X→Y,X→Z,有X→YZ
第10题:
设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所逻辑蕴含