更多"若YXU，则X→Y成立，该规则属于函数依赖推理规则中的______。"的相关试题:
[单项选择]设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所逻辑蕴含
[单项选择]设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所逻辑蕴含
[单项选择]设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所逻辑蕴含
[单项选择]设有关系模式R(A，B，C，D，E)，F是R上成立的函数依赖集，F={ABC—D，B—D，D—E}，则R达到的范式是
A. INF
B. 2NF
C. 3NF、
D. BCNF
[单项选择]设关系模式R（A，B，C，D），F是R上成立的函数依赖集，F={A→B，B→C}，则相对于F，关系模式R的主码为（）。
A. A
B. AB
C. AD
D. ABD
[单项选择]下列不属于非平凡函数依赖的是______。
A. (CustomerID，ProviderID，BuyDate)→GoodsName
B. (CustomerID，ProviderID，BuyDate)→GoodsName，ProviderID
C. (CustomerID，ProviderID，BuyDare)→GoodsClassID
D. (CustomerID，ProvideIID，BuyDate)→ProviderID
[单项选择]已知关系模式R(A，B，C，D)，其函数依赖集F={A→B，B→CD，A→D}，则下列函数依赖不成立的是 ( )
A. AB→C
B. AB→D
C. B→ACD
D. A→BCD
[单项选择]消除了非主属性和主属性对码的传递函数依赖和部分函数依赖的关系模式必定是( )。
A. 3NF
B. 4NF
C. BCNF
D. 以上都不是
[单项选择]下述( )成立时，称X→Y为平凡的函数依赖。
A. X∩Y=φ
B. XAY≠φ
[单项选择]下列( )成立时，称X→Y为平凡的函数依赖。
A. X∩Y=Φ
B. X∩Y≠Φ
C. X∈Y
D. Y∈X
[单项选择]下列约束中能确保一个函数依赖是完全非平凡函数依赖的是______。
A. 仅当其右边的属性集是左边属性集的子集______。
B. 仅当其右边属性集中的属性都不属于左边的属性集
C. 仅当其右边属性集中至少有一个属性不属于左边的属性集
D. 仅当其右边属性集中的属性都属于左边的属性集
[单项选择]当下述哪一条成立时，称X-Y为平凡的函数依赖
A. X包含于Y
B. Y包含于X
C. X∩Y＝
D. X∩Y≠
