设RU是属性集U上的关系模式XY是U的子集若对于RU的任意一个可能的关系RR中不可能存在两个元组在X-X题卡

如果X--＞Y，及T包含在Y中，则必然存在X--＞T 如果存在函数依赖X--＞Y，则必然存在X--＞Z 如果X'Y，则必然存在X--.＞Y 若Z为空，则存在X--＞Z

若 X→→Y，则 X→→Z 若 X→→Y，则 X→Y 设 XY W U，若 X→→Y 在 R(W)上成立，则 X→→Y 在 R(U)上成立若 X→→Y 在 R(U)上成立，且 Y’ Y，则 X→→Y’在 R(U)上成立

如果X→Y，及T包含在Y中，则必然存在X→T 如果存在函数依赖X→Y，则必然存在X→Z 如果X→Y，则必然存在X→Y 若z为空，则存在X→Z

如果X->Y，及T包含在Y中，则必然存在X->T 如果存在函数依赖X->Y，则必然存在X->Z 如果X->Y，则必然存在X->Y 若Z为空，则存在X->Z

Y函数依赖于X Y对X完全函数依赖 Y对X部分函数依赖 R属于2NF

如果X-＞Y，及T包含在Y中，则必然存在X-＞T 如果存在函数依赖X-＞Y，则必然存在X-＞Z 如果X-＞Y，则必然存在X-＞Y 若Z为空，则存在X-＞Z

如果X→Y，及T包含在Y中，则必然存在X→T 如果存在函数依赖X→Y，则必然存在X→Z 如果X→Y，则必然存在Y→X 若Z为空，则存在X→Z

如果X→Y，及T包含在Y中，则必然存在X→T 如果存在函数依赖X→Y，则必然存在X→Z 如果X

Y，则必然存在X→Y 若Z为空，则存在X→Z

如果X--＞Y,及T包含在Y中，则必然存在X--＞T 如果存在函数依赖X--＞Y，则必然存在X--＞Z 如果X'Y,则必然存在X--.＞Y 若Z为空，则存在X--＞Z

如果X→Y，及T包含在Y中，则必然存在X→T 如果存在函数依赖Y→Z，则必然存在X→Z 如果X→Y，则必然存在X→Y 若Z为空，则存在X→Z

如果X→Y，及T包含在Y中，则必然存在X→T 如果存在函数依赖X→Y，则必然存在X→Z 如果X

Y，则必然存在X→Y 若Z为空，则存在X→Z

Y对X完全函数依赖 R属于2NF X为U的候选码 Y函数依赖于X

如果X->Y，及T包含在Y中，则必然存在X->T 如果存在函数依赖X->Y，则必然存在X->Z 如果X->Y，则必然存在X->Y 若Z为空，则存在X->Z

设R(U)是属性集U上的关系模式。X，Y是U的子集。若对于R(U)的任意一个可能的关系R，R中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称( )。