设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所逻辑蕴含
第1题:
设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所逻辑蕴含
第2题:
设关系模式R<U,F>,其中U为属性集,F是U上的一组函数依赖,那么Armstrong公理系统的伪传递律是指()。
A.若X→Y,Y→Z为F所蕴涵,则X→Z为F所蕴涵
B.若X→Y,X→Z,则X→YZ为F所蕴涵
C.若X→Y,WY→Z,则XW→Z为F所蕴涵
D.若X→Y为F所蕴涵,且Z?U,则XZ→YZ为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上的一组函数依赖,下列叙述正确的是
A.若,则X→Y为F所逻辑蕴含
B.若,则X→Y为F所逻辑蕴含
C.若X→Y为F所逻辑蕴含,且,则X→YZ为F所逻辑蕴含
D.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
第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所逻辑蕴含