（单选题）
设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所逻辑蕴含
正确答案
答案解析
略
相似试题
（单选题）
设U为所有属性，X、Y、Z为属性集，Z=U-X-Y，下列关于平凡的多值依赖的叙述中，哪一条是正确的？（）
（填空题）
Armstrong公理系统中的增广律的含义是：设R是一个关系模式，X，Y是U中属性组，若X→Y为F所逻辑蕴含，且ZÍU，则（）为F所逻辑蕴含。
（单选题）
设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U−X−Y。下列关于多值依赖的叙述中，不正确的是（）。
（单选题）
有关系模式R（A，B，C，D，E），根据语义有如下函数依赖集：F={A→C，BC→D，CD→A，AB→E}。 下列属性组中的是关系R的候选码（）。 Ⅰ.（A，B） Ⅱ.（A，D） Ⅲ.（B，C） Ⅳ.（C，D） Ⅴ.（B，D）
（单选题）
下列关于函数依赖的叙述中，哪一条是不正确的？（）
（填空题）
如果关系模式R的属性之间不存在非平凡且非函数依赖的多值依赖，则R的规范化程序达到了（）。
（单选题）
下列关于模式分解的叙述中，哪一（些）条是正确的？（） I.若一个模式分解具有无损连接性，则该分解一定保持函数依赖 II.若一个模式分解保持函数依赖，则该分解一定具有无损连接性 III.模式分解可以做到既具有无损连接性，又保持函数依赖 IV.模式分解不可能做到既具有无损连接性，又保持函数依赖
（单选题）
有关系模式R（S，T，C，D，G），根据语义有如下函数依赖集：F={（S，C）→T，C→D，（S，C）→G，T→C}。关系模式R的候选码（）。
（单选题）
有关系模式P（C，S，T，R），根据语义有如下函数依赖集：F={C→T，ST→R，TR→C}。 关系模式P的规范化程度最高达到（）。
