Wikiいけめん
217
回編集
差分
ナビゲーションに移動
検索に移動
ちょっと待て、会社って何だ！？
===第2正規形===
第2正規形には、主キーの概念を必要とする。[ここに定義を挿入] 関係表が'''第2正規形'''であるとは、全ての関係スキーマの元が、主キーの元であるか、もしくは「主キーに関数従属するが、主キーのどの真部分集合にも関数従属しない」ことである。 たとえば、関係スキーマが\( \underline{X}, \underline{Y}, F, G, H \)であり、各タプルが\( \{ x_i, y_j, f(y_j), g(x_i, y_j), h(x_i, y_j) \} \)で与えられるような関係表が存在するとき、\( F \)が\( \{ Y \} \)に関数従属するため第2正規形ではない。 これを第2正規形にするためには、この関係表を\( \underline{X}, \underline{Y}, G, H \)と\( \underline{Y}, F \)に分割すればよい。現実における会社で発生しうる例であるが、\( X \)が注文番号で\( Y \)が商品番号に対応するとき、前者は注文された商品の一覧、後者は注文そのものの一覧に対応する<ref>データベースでは「商品の仕入・製造・販売のうち少なくとも1個を行う会社」における例を使用することが多い。</ref>。
===第3正規形===
[ここにとんでもなく複雑かつ難解でifやforを連打することによりデータベースエンジニア、数学者だけでなくプログラマにも理解できないであろう論理記号の列および番号付きリストを悪用した複雑な制御構造を挿入]
==脚注==
<references />
