Join dependency とは

依存関係理論として知られるコンピュータサイエンスの分野では、結合依存関係は、データベーススキームに対する一連の法的関係の制約です。テーブルTは、Tの属性のサブセットを持つ複数のテーブルを結合することによってTを常に再作成できる場合、結合依存関係に従います。結合内のテーブルの1つにテーブルTのすべての属性がある場合、結合依存関係は簡単なと呼ばれる。
Scheme R {\displaystyle R} を表 R 1 {\displaystyle R_{1}} から R n {\displaystyle R_{n}} に分解すると、分解は次のようになることが証明されているため、結合依存関係は第5正規形(プロジェクト結合正規形とも呼ばれます)で重要な役割を果たします。 R {\displaystyle R} の法的関係を ( R 1 , R 2 , , R n ) {\displaystyle *(R_{1},R_{2},\ldots ,R_{n})} と呼ばれる R {\displaystyle R} の結合依存関係に制限すると、ロスレスジョイン分解が行われます。
結合依存関係を記述する別の方法は、結合依存関係内の関係のセットが互いに独立していると言うことです。
関数型の依存関係の場合とは異なり、完全な型付き依存関係などのより表現力豊かな依存言語に対しては公理化が存在しますが、結合依存関係については健全で完全な公理化はありません。ただし、結合依存関係の意味は決定できません。