まず、概念
- 関数従属性
- Yは、任意のR（U）のための可能な関係R場合、RスタンドUの2つのサブセットであり、但し、R（U）は特性U = {A1、A2、...、アン} X、上のリレーショナルスキーマの集合であります範囲のXとYの属性値に等しいプロパティ値を満たすために2つのタプル不可能、X、YはX又はYの機能に依存する決定関数を呼び出し、X> Yと称される
- 直感的に、それはそこにテーブルがあり、そして全てが同じ値でない場合、任意の列を決定することができるようになります見ることで、同じ値がある場合、あなたは属性値の決定になりたいことを確認するために、対応する行相の同じ値が等しくないされています。それらが等しい場合は、そのプロパティを決めることができます。複数のプロパティに複数の属性を決定する同じジョブWであります
- 機能的な依存関係を特定するために、テーブルを見てください↑
- 機能的な依存関係プロパティ
- 非自明な関数従属性：決定要因は、要因を決める含まれていません。それは普通に含まれている場合。
- X-> Yは、Xに等しい責任の次に値12元が設定されている場合、Yの値は、位置決定因子Xを互いに等しく、かつ前記必要がある場合
- > Y - X-> Y、Y-> Xは、<Xで示されている場合
- 部分＆機能的な依存関係完全に依存する関数
- > Yは、Xに完全に依存Y機能と呼ばれる、それ以外の場合はYとして知らXf-> Yを;!示さ - R（U）では、X-> YとX、及び独自のXのための町場合に 'X' を有していますXP-> Yと称する、Xに部分的に機能的に依存
- 制御不能に依存するいくつかの冗長化機能があります
- 依存伝達関数
- X-> Y、Y> Z、及びYがXでないR（U）において、ZはYでない、ZはXでない、Y！ - > X、Zは、Xに依存する伝達関数を呼び出し
- 冗長の存在に依存して制御されていない伝達関数
- 候補キー
- K R（U）属性やプロパティのセット、もしKF-> Uは、キーKは、R（U）（候補キー）である候補と呼ばみよう
- 一意性＆極小
- それは、必要に応じて候補主キー主キー関係Rかもしれ
- プロパティはプライマリプロパティプライム属性と呼ばれている任意の候補キーに含まれ、その他のプロパティは、非プライマリプロパティと呼ばれています。
- Kは、候補キーのスーパー符号Rである場合、KがSに属し、Sは、第1のスーパーコードRと呼ばれています
- 外符号
- R（U-）は属性または組み合わせ属性のX Rは、候補キーではなく、Xは別の候補キーの関係を行い、その後、XはR外国見る（外部キー）であれば、外符号と呼ばれます。
- 闭包閉鎖
- FパターンR（U）の関数暗黙の依存関係がF Fの論理的集合がクロージャクロージャであると呼ばれている全ての機能のセットに依存しているとする、F +と呼びます。
- F + = F Fは、機能的な依存関係の完全なセットと言われていた場合
関連する証拠の関数依存性の公理定理
- アームストロングの公理A1〜A3
提供R（U）の特性であり、U = {A1、A2、...、アン}上のリレーショナルスキーマ、R（U）のF依存性が関数の集合であり、R（U、F）、次のルールと呼ば設立：
- 再帰法Reflecxivityルール：X、YはU属し属している場合は、X-> YはFロジックが覆われています。
- 拡張法のx> yのFに属し、そしてZはXZ平面> YZが論理的にFを意味している、Uに属している場合
- 転送法X-> YはFに属している場合は、Y-> ZがFに所属し、その後、X-> ZはFロジックが含まれています
- レンマ
- 組み合わせ法：X-> YとX-> ZがX-> YZの場合
- 擬似転送法：X-> YおよびWY-> ZはXW-> Zである場合
- 分解速度：X-> YとZはYに属している場合は、X-> Z
第二に、関係のパラダイムモード分解理論
- R（U）は1NFに属する各コンポーネントにおけるリレーショナルスキーマR（U）は不可分の関係データ項目（値原子）と呼ばれるRである場合（U）は、最初のパラダイムに属すると称される
- 存在していない複数値属性
- R＆LT（U）最初のパラダイムに属し、各非プライマリ性UはR＆LT（U）と呼ばれる機能キー候補に完全に依存している第二のパラダイムに属する、R＆LT（U）と呼ばれる第二のパラダイムに属する場合
- BCNF
- 判定：いくつかのものの一つを見て内部のFされています
- 左側の機能依存性は、スーパーサイズの関係であります
- 機能的な依存関係は、ささいな関数従属であります
- BFNFを求めることができる機能的な依存関係に基づいて、すべての冗長を排除することができ
- 判定：いくつかのものの一つを見て内部のFされています