在关系模式RU中XY是U中的属性组如果X→Y并且对于X的任何个真子集X'都有X'→Y则称-X题卡

如果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

U-X-Y=φ X∩Y=φ X是单个属性 Y是单个属性

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

U-X-Y=Φ X∩Y=Φ X是单个属性 Y是单个属性

U-X-Y=Φ X∩Y=Φ X是单个属性 Y是单个属性

2NF 3NF BCNF 4NF

如果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

U-X-Y=ψ XNY=ψ X是单个属性 Y是单个属性

如果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

U-X-Y= ， X∩Y= X是单个属性 Y是单个属性

U-X-Y= ， X∩Y= X是单个属性 Y是单个属性

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

在关系模式R(U) 中，X，Y是U中的属性组，如果X→Y，并且对于X的任何个真子集X'，都有X'→Y，则称