| (同じ利用者による、間の19版が非表示) | |||
| 24行目: | 24行目: | ||
==== 推移従属 ==== | ==== 推移従属 ==== | ||
推移従属とは、エンティティの3つの属性A、B、Cにおいて、<u>A -> B、 B ≠ A、 B -> Cである</u>時、 A -> Cが得られ、既存の関数従属から新たな関数従属が得られる状態を表す。<br> | 推移従属とは、エンティティの3つの属性A、B、Cにおいて、<u>A -> B、 B ≠ A、 B -> Cである</u>時、 A -> Cが得られ、既存の関数従属から新たな関数従属が得られる状態を表す。<br> | ||
<br> | |||
==== 多値従属性 ==== | |||
集合A、B、Cを集合Rの属性集合の任意の部分集合とする。<br> | |||
集合Rのある(A値, C値)対に対応するB値の集合がA値だけに依存しており、C値には独立の時、集合Bは集合Aに多値従属しているという。<br> | |||
<br><br> | <br><br> | ||
| 111行目: | 115行目: | ||
==== 例: 受注伝票の第1正規化から第2正規化 ==== | ==== 例: 受注伝票の第1正規化から第2正規化 ==== | ||
# 注文明細表が対象となる。 | # 注文明細表が対象となる。 | ||
# 下図のように分解する。<br>注文明細表の主キーは、"注文番号"および"商品番号"の複合主キーである。 | # 下図のように分解する。<br><br>注文明細表の主キーは、"注文番号"および"商品番号"の複合主キーである。<br>商品表の主キーは、"商品番号"である。 | ||
#: [[ファイル:Database Normalization 6.png|フレームなし|中央]] | |||
#: <center>図. 第2正規形</center><br> | |||
#: <br> | |||
# 注文明細表の"商品番号"は、商品表を参照する外部キーとして定義する。 | # 注文明細表の"商品番号"は、商品表を参照する外部キーとして定義する。 | ||
<br><br> | |||
== 第3正規形 == | |||
==== 第3正規形とは ==== | |||
第2正規形から主キー以外の属性が相互に依存関係をもたないようにする作業が第3正規化である。<br> | |||
つまり、非キー項目同士の関数従属関係がある場合は、それを取り除く必要がある。<br> | |||
<br> | <br> | ||
<center>図. | 第3正規形の条件は、第2正規形から推移的関数従属を含まないことである。<br> | ||
<br> | |||
* 推移関数従属とは | |||
*: 推移関数従属とは、非キー属性から非キー属性が導かれることである。 | |||
*: <br> | |||
*: 例えば、重複しない属性X、Y、Zがあり、属性Xは主キー、属性YおよびZは非キー属性であるとする。 | |||
*: ここで、<math>X \rightarrow Y \rightarrow Z</math> と推移的に導かれる場合、推移関数従属であるという。 ( <math>X \rightarrow Z</math> が成り立つ) | |||
*: <br> | |||
*: この例では、属性Yは属性Xに関数従属であり、属性Zは属性Yに関数従属であり、属性Xは属性Yに関数従属でないため、属性Zは属性Xに推移関数従属である。 | |||
<br> | |||
例えば、注文伝票において、"顧客住所"と"顧客電話番号"は"注文番号"から直接決定されるわけではなく、"顧客情報"という独立した要素の一部である。<br> | |||
注文表の非キー項目である"顧客番号"から決定される"顧客名"や"顧客住所"のような関係を<u>推移関数従属がある</u>という。<br> | |||
<br> | |||
==== 第3正規形の手順 ==== | |||
# 全ての表の主キー以外の属性間の関数従属関係が対象となる。 | |||
# 従属関係をもつ属性を洗い出し、別の表に分解する。 | |||
# 分解した表の行と元の表の行の関係を維持することができるように、表のキー項目（外部キー）を定義する。 | |||
<br> | |||
[[ファイル:Database Normalization 7.png|フレームなし|中央]] | |||
<center>図. 第3正規形</center><br> | |||
<br><br> | <br><br> | ||
== ボイスコッド正規形 (第3.5正規形) == | |||
==== ボイスコッド正規形とは ==== | |||
ボイスコッド正規形は、第3正規形をさらに分解したものである。<br> | |||
主キー以外のカラムが全て主キーに完全関数従属であり、それ以外の従属関係がある場合、表を分離することによりボイスコッド正規形となる。<br> | |||
<br> | |||
ボイスコッド正規形では、全ての属性が候補キーに完全従属する。<br> | |||
ボイスコッド正規形は、ほとんどの場合において第3正規形と等価であり、複数の属性からなる候補キーが複数存在する場合にのみ差異が生じうる。<br> | |||
<br> | |||
第3正規形とボイスコッド正規形の違いを、以下に示す。<br> | |||
* 第3正規形 | |||
*: 非キー属性を従属項とする関数従属性だけを問題とするため、候補キーを構成する属性の間に候補キーを決定項としない関数従属性が存在することを許す。 | |||
* ボイスコッド正規形 | |||
*: この問題が存在することを許さない。 | |||
<br> | |||
そのため、ボイスコッド正規形は、第3正規形をより完全にしたものであるといえる。<br> | |||
<br> | |||
<u>ただし、ボイスコッド正規形では、分解により一部失われるデータが発生する場合がある。</u><br> | |||
<br> | |||
==== ボイスコッド正規形の手順 ==== | |||
例えば、受注伝票に顧客のメールアドレスが含まれているとする。<br> | |||
商品の購入時に登録済みのメールアドレスを再登録する場合はエラーとする場合、顧客名とメールアドレスは１：１の関係となる。<br> | |||
<br> | |||
この場合、ボイスコッド正規形ではテーブルを2つに分離することになる。<br> | |||
<br><br> | |||
== 第4正規形 == | |||
==== 第4正規形とは ==== | |||
第4正規化では、ボイスコッド正規形等を適用して3つ以上の主キーのみで構成されたテーブルから、さらに主キーを分解して、多値従属性を排除する処理を行う。<br> | |||
<br> | |||
多値従属性とは、属性Xが１つ決まれば他の属性が１つ以上決まる性質のことである。<br> | |||
<br> | |||
下表では、社員ID、部門コード、氏名を主キーとしており、社員IDが決定する時、部門コードと氏名の2つの属性がそれぞれ複数決定される。<br> | |||
複数の多値従属性が存在しているため、これらを排除すれば第4正規形となる。<br> | |||
<center> | |||
{| class="wikitable" style="background-color:#fefefe;" | |||
|- | |||
! style="background-color:#66CCFF; width: 200px;" | 社員ID | |||
! style="background-color:#66CCFF; width: 200px;" | 部門コード | |||
! style="background-color:#66CCFF; width: 200px;" | 氏名 | |||
|- | |||
| A001 || 1001 || 田中一郎 | |||
|- | |||
| A010 || 1010 || 山田太郎 | |||
|- | |||
| B005 || 2005 || 鈴木一夫 | |||
|- | |||
| C100 || 3100 || 佐藤次郎 | |||
|} | |||
</center> | |||
<br> | |||
<center> | |||
{| class="wikitable" style="background-color:#fefefe;" | |||
|- | |||
| | |||
{| class="wikitable" style="background-color:#fefefe; width: 350px; margin: 15px;" | |||
|- | |||
! style="background-color:#66CCFF; width: 50%;" | 社員ID | |||
! style="background-color:#66CCFF; width: 50%;" | 部門コード | |||
|- | |||
| A001 || 1001 | |||
|- | |||
| A010 || 1010 | |||
|- | |||
| B005 || 2005 | |||
|- | |||
| C100 || 3100 | |||
|} | |||
| | |||
{| class="wikitable" style="background-color:#fefefe; width: 350px; margin: 15px;" | |||
|- | |||
! style="background-color:#66CCFF; width: 50%;" | 社員ID | |||
! style="background-color:#66CCFF; width: 50%;" | 氏名 | |||
|- | |||
| A001 || 田中一郎 | |||
|- | |||
| A010 || 山田太郎 | |||
|- | |||
| B005 || 鈴木一夫 | |||
|- | |||
| C100 || 佐藤次郎 | |||
|} | |||
|} | |||
</center> | |||
<br> | |||
==== 第4正規形の手順 ==== | |||
https://ja.wikipedia.org/wiki/%E9%96%A2%E4%BF%82%E3%81%AE%E6%AD%A3%E8%A6%8F%E5%8C%96<br> | |||
<br><br> | |||
== 第5正規形 == | |||
==== 第5正規形とは ==== | |||
第5正規化とは、射影-結合正規形とも呼ばれており、<br> | |||
第4正規形と同様、3つ以上の主キーのみで構成されたテーブルからさらに主キーを分解して、候補キーの中で結合従属性が満足できるようにする。<br> | |||
したがって、結合従属性を含まないようにする必要がある。<br> | |||
<br> | |||
結合従属性とは、多値従属性が2つに分解できるのに対して、それ以上に分解できる場合のことである。<br> | |||
<br> | |||
下表では、｛支店｝ -> ｛在庫商品｝、｛支店｝ -> ｛メーカー｝、｛在庫商品｝ -> ｛メーカー｝と3つの関係を含んでいるため、3つに分解可能である。<br> | |||
<center> | |||
{| class="wikitable" style="background-color:#fefefe;" | |||
|- | |||
! style="background-color:#66CCFF; width: 200px;" | 支店 | |||
! style="background-color:#66CCFF; width: 200px;" | 在庫商品 | |||
! style="background-color:#66CCFF; width: 200px;" | メーカー | |||
|- | |||
| 東京 || テレビ || A社 | |||
|- | |||
| 東京 || テレビ || B社 | |||
|- | |||
| 東京 || エアコン || A社 | |||
|- | |||
| 愛知 || 冷蔵庫 || C社 | |||
|} | |||
</center> | |||
<br> | |||
<center> | |||
{| class="wikitable" style="background-color:#fefefe;" | |||
|- | |||
| | |||
{| class="wikitable" style="background-color:#fefefe; width: 350px; margin: 15px;" | |||
|- | |||
! style="background-color:#66CCFF; width: 50%;" | 支店 | |||
! style="background-color:#66CCFF; width: 50%;" | 在庫商品 | |||
|- | |||
| 東京 || テレビ | |||
|- | |||
| 東京 || テレビ | |||
|- | |||
| 東京 || エアコン | |||
|- | |||
| 愛知 || 冷蔵庫 | |||
|} | |||
| | |||
{| class="wikitable" style="background-color:#fefefe; width: 350px; margin: 15px;" | |||
|- | |||
! style="background-color:#66CCFF; width: 50%;" | 支店 | |||
! style="background-color:#66CCFF; width: 50%;" | 仕入先 | |||
|- | |||
| 東京 || A社 | |||
|- | |||
| 東京 || B社 | |||
|- | |||
| 東京 || A社 | |||
|- | |||
| 愛知 || C社 | |||
|} | |||
| | |||
{| class="wikitable" style="background-color:#fefefe; width: 350px; margin: 15px;" | |||
|- | |||
! style="background-color:#66CCFF; width: 50%;" | 商品 | |||
! style="background-color:#66CCFF; width: 50%;" | メーカー | |||
|- | |||
| テレビ || A社 | |||
|- | |||
| テレビ || B社 | |||
|- | |||
| エアコン || A社 | |||
|- | |||
| 冷蔵庫 || C社 | |||
|} | |||
|} | |||
</center> | |||
<br> | |||
==== 第5正規形の手順 ==== | |||
https://ja.wikipedia.org/wiki/%E9%96%A2%E4%BF%82%E3%81%AE%E6%AD%A3%E8%A6%8F%E5%8C%96<br> | |||
<br><br> | |||
{{#seo: | |||
|title={{PAGENAME}} : Exploring Electronics and SUSE Linux | MochiuWiki | |||
|keywords=MochiuWiki,Mochiu,Wiki,Mochiu Wiki,Electric Circuit,Electric,pcb,Mathematics,AVR,TI,STMicro,AVR,ATmega,MSP430,STM,Arduino,Xilinx,FPGA,Verilog,HDL,PinePhone,Pine Phone,Raspberry,Raspberry Pi,C,C++,C#,Qt,Qml,MFC,Shell,Bash,Zsh,Fish,SUSE,SLE,Suse Enterprise,Suse Linux,openSUSE,open SUSE,Leap,Linux,uCLnux,Podman,電気回路,電子回路,基板,プリント基板 | |||
|description={{PAGENAME}} - 電子回路とSUSE Linuxに関する情報 | This page is {{PAGENAME}} in our wiki about electronic circuits and SUSE Linux | |||
|image=/resources/assets/MochiuLogo_Single_Blue.png | |||
}} | |||
__FORCETOC__ | __FORCETOC__ | ||
[[カテゴリ:SQL_Server]][[カテゴリ:MySQL]] | [[カテゴリ:SQL_Server]][[カテゴリ:MySQL]][[カテゴリ:その他データベース]] | ||