ids/2/523.txt


[1]
[[関係スキーマ]][CODE(math)@en[[VAR(relation-schema)[R]]]]は、[[第3正規形]]で、かつすべての[[多値従属性]][CODE(math)@en[[VAR[X]] →→ [VAR[Y]]]]が[[自明]]であるか、[CODE(math)@en[[VAR[X]]]]が[[超鍵]]であるかのいずれかのとき、[CODE(math)@en[[VAR(relation-schema)[R]]]]は[DFN[第4正規形]]
([DFN@en[fourth normal form]], [DFN@en[[ABBR[4NF][fourth normal form]]]])
です。
([[名無しさん]] [sage])

1
2	[1]
3	[[関係スキーマ]][CODE(math)@en[[VAR(relation-schema)[R]]]]は、[[第3正規形]]で、かつすべての[[多値従属性]][CODE(math)@en[[VAR[X]] →→ [VAR[Y]]]]が[[自明]]であるか、[CODE(math)@en[[VAR[X]]]]が[[超鍵]]であるかのいずれかのとき、[CODE(math)@en[[VAR(relation-schema)[R]]]]は[DFN[第4正規形]]
4	([DFN@en[fourth normal form]], [DFN@en[[ABBR[4NF][fourth normal form]]]])
5	です。
6	([[名無しさん]] [sage])
7