リレーションスキーマのロスレス結合プロパティが何を意味するのか、誰か説明してもらえますか?
正規化しながら関係を分解する際に、情報/データのセマンティクスを維持する能力ですか?
リレーションスキーマのロスレス結合プロパティが何を意味するのか、誰か説明してもらえますか?
正規化しながら関係を分解する際に、情報/データのセマンティクスを維持する能力ですか?
@Falcon - あなたは正しい - しかし、これはより実質的な定義です...
無損失結合プロパティは、正規化によってサポートされる分解の機能です。これは、元のリレーションのインスタンスを、より小さなリレーションの対応するインスタンスから確実に識別できるようにする機能です。
無損失の損失という言葉は、タプルの損失ではなく、情報の損失を指します。
このppt プレゼンテーションは参考になるかもしれません。
R1, ... は、R が再び結合するときの R の無損失分解です。
(R1, ...一連の FD (関数依存関係) の下での R の無損失分解である F は別のプロパティです。つまり、R1, ... が R の無損失分解であり、F の FD を満たす場合です。)
ロスレスとは、損失なく機能することを意味します。つまり、すべてを保持します。
データベースがこの機能を持つことが重要です。
正式な定義
R
を関係スキーマとします。F
一連の機能依存関係を としR
ます。R
。R
分解は、次の機能依存関係の少なくとも 1 つが存在する場合の可逆結合分解です。F+
1) R1 ∩ R2 -> R1
2) R1 ∩ R2 -> R2
簡単に言えば…</p>
R1 ∩ R2 -> R1
R1 ∩ R2 -> R2
がとR
に分割される場合、分解がロスレスになるためには、2 つのうち少なくとも 1 つが成り立つ必要があります。R1
R2
と に射影し、再び結合するR1
とR2
、元の関係が得られます。
ソース: https://en.wikipedia.org/wiki/Lossless-Join_Decomposition