X→Y,但YcX则称X→Y是平凡的函数依赖。否则,称非平凡的函数依赖。 定义2:在R(U)中,如果X→Y,并且对于x的任何一个真子集x′,都有 X′→Y,则称Y对X部分函数依赖,记作X→pY,否则,称Y完全函数依赖于 X,记作X→fY。 定义3:在R(U)中,如果X→Y,(YaX),Y\→X,Y→Z,则称对x传递 函数依赖。 码 定义4:设K为R<U,F>中的属性或属性组合,若Kf→U则K为R的候选码。 若候选码多于一个,则选定其中的一个为主码( Primary Key)。 包含在任何一个候选码中的属性,叫做主属性。不包含在任何码中的属性称 为非主属性或非码属性。整个属性组是码,称为全码。 定义5:关系模式R中属性或属性组X并非R的码,但X是另一个关系模式的 码,则称X是R的外部码( Foreign Key),也称外码。X→Y，但YX则称X→Y是平凡的函数依赖。否则，称非平凡的函数依赖。 定义2：在R（U）中，如果X→Y，并且对于X的任何一个真子集X′，都有 X′→Y，则称Y对X部分函数依赖，记作X→pY，否则，称Y完全函数依赖于 X，记作X→fY。 定义3：在R（U）中，如果X→Y，（YX），Y \→X，Y→Z，则称Z对X传递 函数依赖。 定义4：设K为R<U，F>中的属性或属性组合，若K f→U则K为R的候选码。 若候选码多于一个，则选定其中的一个为主码（Primary Key）。 包含在任何一个候选码中的属性，叫做主属性。不包含在任何码中的属性称 为非主属性或非码属性。整个属性组是码，称为全码。 定义5：关系模式R中属性或属性组X并非R的码，但X是另一个关系模式的 码，则称X是R的外部码（Foreign Key），也称外码。 二、码