设R(U)是属性集U上的关系模式，X，Y和Z是U的子集。若对R(U)的任意一个可能的关 系r，不可能存在两个元组在X上的属性值相等而在Y上属性值不等，则称“X函数确定Y”或 “Y函数依赖于X”，记作X→Y，X称为决定因素。根据传递律可知选项

在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）

在一个关系R中，若属性集X函数决定属性集Y，同时Y函数决定X，则记作为（），它们之间互为（）。

在一个关系R中，若属性集X函数决定属性集Y，同时Y函数决定X，则记作为（X←→Y），它们之间互为（）。

在R（U）中，如果X→Y，并且对于X的任何一个真子集X’，都有X’→Y，则（）。

在关系模式R(u）中,如果X->Y,并且对于X的任何一个真子集X′,都有X′->Y,则称

若X→Y，且YX，则称X→Y为（）/⊂的函数依赖。

在一个关系R中，若X能够函数决定R中的每个属性，并且X的任何真子集都不能够函数决定R中的每个属性，则称X为关系R的一个（）。

在一个关系R中，若X能够函数决定关系R中的每个属性，并且X的任何真子集都不能函数决定R中的每个属性，则称（）为关系R的一个（）。

在R（U）中，如果Y函数依赖于X，并且存在X的一个真子集X’，使得Y函数依赖于X’，则Y是X的（）。

如果X→Y非平凡函数依赖，并且X不函数依赖于Y、Y→Z，则称Z（）于X。

如果X→Y（非平凡函数依赖，并且X不函数依赖于Y）、Y→Z，则称Z（）于X。