首页试卷库试题库

当前位置： X题卡 > 所有题目 > 题目详情

若A→B为F所逻辑蕴涵，且CU，则AC→BC为F所逻辑蕴涵，这是函数依赖的( )推理规则。

查看本题答案

包含此试题的试卷

计算机等级考试《单项选择》真题及答案点击查看

你可能感兴趣的试题

Armstrong公理系统中有一条推理规则为若X→Y为F所逻辑蕴涵且则XZ→YZ为F所逻辑蕴涵这条

若A→B为F所逻辑蕴涵且C图片U则AC→BC为F所逻辑蕴涵这是函数依赖的推理规则

分配律自反律传递律增广律

设关系模式RUF其中U为属性集F是U上的一组函数依赖下列叙述中正确的是

若X→Y为F所逻辑蕴涵，且Z

U，则XZ→YZ为F所逻辑蕴涵若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵若Y

X

U，则Y→X为F所逻辑蕴涵若X

Y

U，则X→Y为F所逻辑蕴涵

若A→B为F所逻辑蕴涵且CU则AC→BC为F所逻辑蕴涵这是函数依赖的推理规则

分配律自反律传递律增广律

设关系模式RUF其中U为属性集F是U上的一组函数依赖下列叙述中正确的是

若X→Y为F所逻辑蕴涵，且Z

U，则XZ→YZ为F所逻辑蕴涵若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵若Y

X

U，则Y→X为F所逻辑蕴涵若X

Y

U，则X→Y为F所逻辑蕴涵

Armstrong公理系统中的增广律的含义是设R＜UF＞是一个关系模式XY是U的中属性组若X→Y为F

设关系模式RUF其中U为属性集F是U上的一组函数依赖下列叙述正确的是

若X→Y为F所逻辑蕴涵，且Z

U，则XZ→YZ为F所逻辑蕴涵若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵若Y

X

U，则Y→X为F所逻辑蕴涵若X

Y

U，则X→Y为F所逻辑蕴涵

设关系模式RUF其中U为属性集F是U上的一组函数依赖下列叙述中正确的是

若X→Y为F所逻辑蕴涵，且Z

U，则XZ→YZ为F所逻辑蕴涵若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵若Y

X

U，则Y→X为F所逻辑蕴涵若X

Y

U，则X→Y为F所逻辑蕴涵

设关系模式RUF其中U为属性集F是U上的一组函数依赖下列叙述正确的是

若X→Y为F所逻辑蕴涵，且Z

U，则XZ→YZ为F所逻辑蕴涵若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵若Y

X

U，则Y→X为F所逻辑蕴涵若X

Y

U，则X→Y为F所逻辑蕴涵

Armstrong公理系统中有一条推理规则为若X→Y为F所逻辑蕴涵且ZU则XZ→YZ为F所逻辑蕴涵这

若A→B为F所逻辑蕴涵且CU则AC→BC为F所逻辑蕴涵这是函数依赖的推理规则

分配律自反律传递律增广律

Armstrong公理系统中有一条推理规则为若X→Y为F所逻辑蕴涵且则XZ→YZ为F所逻辑蕴涵这条

Armstrong公理系统中有一条推理规则为若X→Y为F所逻辑蕴涵且ZU则XZ→YZ为F所逻辑蕴涵这

Armstrong公理系统中有一条推理规则为若X→Y为F所逻辑蕴涵且则XZ→YZ为F所逻辑蕴涵这条推

设关系模式RUF其中U为属性集F是U上的一组函数依赖下列叙述正确的是

若

，则Y→X为F所逻辑蕴涵若

，则X→Y为F所逻辑蕴涵若X→Y为F所逻辑蕴涵，且

，则YZ→XZ为F所逻辑蕴涵若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵

若X→Y为F所逻辑蕴涵且则XZ→YZ为F所逻辑蕴涵这是函数依赖的推理规则

自反率增广率传递率分配率

设关系模式RUF其中U为属性集F是U上的一组函数依赖下列叙述正确的是

若X→Y为F所逻辑蕴涵，且Z

U，则XZ→YZ为F所逻辑蕴涵若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵若Y

X

U，则Y→X为F所逻辑蕴涵若X

Y

U，则X→Y为F所逻辑蕴涵

Armstrong公理系统中有一条推理规则为若X→Y为F所逻辑蕴涵且ZU则XZ→YZ为F所逻辑蕴涵这

若A→B为F所逻辑蕴涵且CU则AC→BC为F所逻辑蕴涵这是函数依赖的推理规则

分配律自反律传递律增广律

增广律是Armstrong公理系统的推理规则之一它的含义是设F是属性组U上的一组函数依赖若X→Y为F

热门试题

更多

热门题库

更多

计算机操作系统软件测试工程师计算机等级考试法宣在线考试司法卷一司法卷二司法卷三司法卷四企业法律顾问资格考试 “十三五”规划继续教育潜力激活与创造力开发继续教育创新创业能力继续教育科研方法与论文写作继续教育全面深化改革实现文明发展提高自身绩效路径与方法互联网监管与网络道德建设