首页
登录
从业资格
给定关系模式R<U,F>;其中U为属性集,F是U上的一组函数依赖,那么Armst
给定关系模式R<U,F>;其中U为属性集,F是U上的一组函数依赖,那么Armst
题库
2022-08-02
39
问题
给定关系模式R<U,F>;其中U为属性集,F是U上的一组函数依赖,那么Armstroog公理系统的增广律是指( )。A.若X→Y,X→Z,则X→YZ为F所蕴涵B.若X→Y,WY→Z,则XW→Z为F所蕴涵C.若X→Y,Y→Z为F所蕴涵,则X→Z为F所蕴涵D.若X→Y,为F所蕴涵,且ZU,则入XZ→YZ为F所蕴涵
选项
A.若X→Y,X→Z,则X→YZ为F所蕴涵
B.若X→Y,WY→Z,则XW→Z为F所蕴涵
C.若X→Y,Y→Z为F所蕴涵,则X→Z为F所蕴涵
D.若X→Y,为F所蕴涵,且ZU,则入XZ→YZ为F所蕴涵
答案
D
解析
从已知的一些函数依赖,可以推导出另外一些函数依赖,这就需要一系列推理规则。函数依赖的推理规则最早出现在1974年W.W.Armstrong的论文里,这些规则常被称作“Armstrong公理”设U是关系模式R的属性集,F是R上成立的只涉及U中属性的函数依赖集。函数依赖的推理规则有以下三条:自反律:若属性集Y包含于属性集X,属性集X包含于U,则X→Y在R上成立。(此处X→Y是平凡函数依赖)增广律:若X→Y在R上成立,且属性集Z包含于属性集U,则XZ→YZ在R上成立。传递律:若X→Y和Y→Z在R上成立,则X→Z在R上成立。其他的所有函数依赖的推理规则可以使用这三条规则推导出。
转载请注明原文地址:https://tihaiku.com/congyezige/2407092.html
本试题收录于:
中级 软件设计师题库软件水平考试初中高级分类
中级 软件设计师
软件水平考试初中高级
相关试题推荐
以下关于软件质量属性的叙述中,不正确的是()。A.功能性是指软件满足明确和隐含
使用质量是从用户的角度来看待的产品质量,其属性不包括()A.有效性 B.生产率
程序中常采用变量表示数据,变量具有名、地址、值、作用域、生存期等属性。关于变量的
POP3协议采用(请作答此空)模式进行通信,当客户机需要服务时,客户端软件与P
某嵌入式刹车控制软件,应用于汽车刹车控制器,该软件需求如下: 1.模式选择:采
某嵌入式刹车控制软件,应用于汽车刹车控制器,该软件需求如下: 1.模式选择:采
某嵌入式刹车控制软件,应用于汽车刹车控制器,该软件需求如下: 1.模式选择:采
某嵌入式刹车控制软件,应用于汽车刹车控制器,该软件需求如下: 1.模式选择:采
调用函数时若是引用调用方式,则是将()。下面所定义的函数f1为值调用方式,函数
调用函数时若是引用调用方式,则是将(请作答此空)。下面所定义的函数f1为值调用方
随机试题
古代帝王们通常通过建设大型的水利工程来巩固他们的统治。Ancientemperorsusuallyconsolidatedtheirreignby
PASSAGETWO[br]Whatdothestudiesofemotionregulationsuggest?Somepeoplec
大肠杆菌DNA复制时负责合成RNA引物的是()。A.RNA聚合酶 B.RNA
实施高校科研组织的管理,关键在于明确等级和各级负责的范围,明确隶属关系。()
阅读以下说明,回答下列问题。[说明]国外有一个名不见经传的葡萄酒品牌,通过
正常枕先露分娩机转顺序正确的是A.下降→俯屈→衔接→内旋转→仰伸→复位及外旋转
延安整风运动中具有指导性作用的文件有()。 A.《改造我们的学习》 B.《愚
索赔报告中,旨在解决索赔权能否成立的关键部分是()。A、总述部分 B、论证部分
ZH物流有限公司为STE重型机械公司运送了2000条轮胎,损坏48条,则商品完好
战略只对企业的关键性问题作基本定位是指战略的()。A.目标性 B.全局性
最新回复
(
0
)