分解ロスレス結合アルゴリズム

Question

ロスレス結合については、以下の説明があります。誰かが変数 'r'が何であるか、それがアルゴリズム/方程式/公式の両側にどのように現れるかを説明できますか？関係Rは、例えばRの 毎法的インスタンスRそれ関係R1、R2に分解された場合

」...

R =πR1（R）⋈πR2（R）

...分解そのものは可逆結合であると言われます 分解。 "

注：R1とR2は下付き文字です。

Answer 1

rは、スキームR（無損失分解可能）の任意の関係値/インスタンスを表すものとします。しかし、関係の値が可逆的に分解可能であっても、分解する属性（セット）に注意を払わなければなりません。

さらに重要な質問：R1,R2は何ですか？

あなたのお見積もりはおそらくthe wikipedia articleまたはそれからのリンクの1つに基づいています。これはほぼ完全なごみです。リレーショナルモデルのトピックに関するウィキペディアの通常の標準よりはるかに悪い。 （例えば、それが突起を再構成するためにデカルト積を示している - 可逆をの参加に対し、通常がに参加必要です。ボウタイ・オペレータを、あなたが表示されるように）

オペレーターπリレーショナル代数投影です。 πは通常、属性名（または適切には一連の属性名）を添え字にして表示されます。そしてそれらは通常X, Yまたは類似のものによって象徴されます。その後、R1,R2は、ではなく、の関係の属性名のセットでなければなりません。彼らは確かに両方になることはできません。 （R1, R2は、2つの関係のスキーマ/属性セットを表すことを意図していることが想像できます。）

さらに、可逆結合分解の場合、2つの投影にはすべてRという属性を含める必要があります。 （そして、一般的に共通したいくつかの属性となるように参加一致一緒に。）

だから我々は

r1 = πX(r)    -- r1 is the value of R1 corresponding to r 
r2 = πY(r)    -- ditto for R2 
attributes of R = X ∪ Y -- intersection of X, Y not necessarily empty 
r = r1 ⋈ r2 

を持っている必要がありRが{A, B, C}と{A}が鍵となる属性を持っているところ明確な例があります。それから、X = {A, B}, Y = {A, C}として分解することができます。