リレーショナルモデルと正規化理論
ディレクトリ
リレーショナルスキーマ
簡単な紹介
- 関係の説明
- 静的な、安定しました
正式な定義
R(U, D, DOM, F)
- R：リレーションシップ名
- U：リレーションシップ・プロパティ名コレクションの構成
- D：属性グループUドメインからの属性で
- DOM：ドメインをマッピングする属性のセット
- F：データは、属性のセット間の依存関係します
ドメイン（D）
- 同じデータ型の値のコレクション
- たとえば、次のようにフロート、文字列、列挙型
プロパティ（U）
- 較正関係は異なる位置で同じタイプの成分
- 例えば：生徒の関係「研究」プロパティには、「研究」の「サン」コンポーネントは23333です
スーパーサイズ
R <U、F>中、K $ \ subseteq \（U、K \） \ stackrel {P} {\ longrightarrow} $ U
候補キー
- 定義：Value属性グループは一意のタプルを識別することができます
- R <U、F>中、K $ \ subseteq \（U、K \） \ stackrel {F} {\ longrightarrow} $ U
- 特長：候補コードのいずれかが候補コードのサブセットではありません。
- カテゴリー：
- 完全なコード：このグループのすべての属性は、候補キーリレーショナル・スキーマであります
- メインコード：関係を識別する候補コードとして選択されます
- 主なプロパティ：プロパティな候補コード
外符号
この関係では、コードではなく、他の関係のコード
画像領域に属性セット（DOM）
- ドメイン間および属性マッピング
- 例： "学生ID" \（\ RIGHTARROW \） INT
プロパティのセットとの間のデータ依存性（F）
関数従属性（FD）
定義
可能な関係RのいずれかのR（U）のために、タプルX内の2つの可能な属性値の存在下で、Rは、Y-範囲内の属性の値が等しいです
表現：
- X Yの機能が決定します
- X Y関数が依存します
- X→Yと呼ば
分類
些細な関数従属非自明な関数依存性（XおよびY）
- 些細な機能依存性：X→Y、及びY \（\ subseteq \） X-
- 例：(A, B)→A
- 自明でない機能依存性：X→Y、及びY \（\ nsubseteq \） X-
- 例：(A, B)→C
一部の機能に依存して、完全に依存する関数（XおよびY）
- 完全に機能の依存関係：X-→Y、\（\ X-FORALL '\ X-サブセット\）、\ （X-' \ nrightarrow Y \）
- X-と呼ば\（\ F. Stackrel {} {\ longrightarrow} \） Y
- 一部の機能の依存関係：X-→Y、\（\ X-EXISTS '\ X-サブセット\）、\ （X-' \ RIGHTARROW Y \）
- X $ \ stackrel {P} {\ longrightarrow} $ Yと称される
依存伝達関数（X及びZ）
- 定義：X-→Y、Y \（\ nrightarrow \） X、Y→Z
- X $ \ stackrel {T} {\ longrightarrow} $ Zと称します
多値従属性（MVD）
定義
X、Y及びZは、Uの部分集合であり、Z = U-X-Y、R＆LTリレーショナルスキーマ（U）で多値従属性X→→のみR＆LT（U）のいずれかの場合に関係Rである場合、Yは、確立されました、（X、Z）の値の所与の対、設定値Y、設定値のみに関係なくZ値のxの値により決定されます。
分類
些細な多値従属性
\（Z = \ PHI \）
自明でない多値従属性
\（Z \ NEQ \ファイ\）
組み込み多値従属性
X→→Yが有するW（WにおけるR＆LT（U）\（\サブセット\） U上に確立）
プロパティ
- 対称性：X→→Y、その後：
- X→→Z、そして：
- X→→Y \（\カップ\） Z
- X→→Y \（\キャップ\） Z
- X→→ZY、YZ X→→
- 推移：X→→Y、Y→→Zは、X→→ZY
- X→Yは、X→→Y
接続の依存関係
関係
アウトライン
- 状態やコンテンツの時点で関係モデル
- ダイナミックは、時間とともに変化します
- 関係パターンとの関係は、多くの場合、集合関係と呼ばれています
- 文脈で区別
定義
- 定義：ドメインのセットについてはD1、D2、...、Dnは、D1×D2×...×DnのサブセットというドメインD1、D2、...、Dnの関係上、
- 言った：2次元テーブル
- 行動タプル
- フィールドに対応する列
- 特長：
- オーダーのランクは重要ではありません。
種
基本的な関係（ベーステーブルまたはテーブルイル）
実際に、本テーブルは、データの論理的表現が実際に格納されています
ルックアップテーブル
テーブルに対応するクエリ結果
ビュー表
基本的なテーブルから他のビューまたは派生テーブルテーブルが記憶されている実際のデータに対応していない、仮想テーブルであります
ヘッド（度）
- 定義：n個の関係の値
- 特別な関係：
- ユニット/ 1元の関係の関係：N = 1
- 二項関係：N = 2
デカルト積
- 以下のためにN D1、D2を設定...、i番目のオブジェクトのデカルト積であるDnが、Dに属する：定義された私のすべての可能な順序対
- 呼ば：D1×D2×...×Dnと
タプル
- 順序対における直積の結果、すなわちデカルト積要素
- ニックネーム：N-タプル
コンポーネント
デカルト積要素内の位置の値
カーディナル数
- 定義：セット内の要素数
- 特に、基数結果のデカルト積は、各集合の濃度の積であります
正規化理論
- 用途：関係正常化の理論モードを変換するために使用されるが、アドレスの異常へのデータの依存関係を挿入した分解不適切な関係モード、消去異常、更新異常やデータの冗長性によって排除すること。
- 用法：モード分解によって設定されたローモードは、高いパラダイムリレーショナルスキーマの数に変換することができるリレーショナル・パラダイム、このプロセスは正規化と呼ばれています
- 関係のパラダイム：1NF $ \ supset \（2NF \） \ supset \（3NF \） \ supset \（BCNF \） \ supset \（4NF \） \ supset $ 5NF
異常な
データの冗長性
- 収納スペースの多くを無駄に
アップデートの異常
- 冗長データ、更新データとデータの整合性偉大な価格を維持します。
異常挿入
- 補間されたデータが挿入されていません
異常[削除]
- データを削除する必要が削除しないでください
分類
1NF
- すべてのプロパティが分離することはできません
2NF
- 会う1NF、及び各非プライマリプロパティ関数は、任意の候補符号の完全に独立しています
3NF
- 会う2NF、及び各非主要プロパティは、候補コードの任意の伝達関数に依存しません
BCNF
- 会う1NF、および\（\ FORALL X \ RIGHTARROW Y 、 マスタプロパティ\サブセットX \）
4NF
- 会う1NF、および\（\ FORALL X \ RIGHTARROW \ RIGHTARROW Y、 マスタプロパティ\サブセットX \）
5NF
- （...続きます）