Bezztrátový rozklad rozkladu - Lossless join decomposition

Tento článek možná bude muset být přepsáno vyhovět požadavkům Wikipedie standardy kvality. Můžeš pomoct. The diskusní stránka může obsahovat návrhy. (Červenec 2014)

v návrh databáze, a bezztrátový rozklad rozkladu je rozklad vztahu ${ displaystyle R}$ do vztahů ${ displaystyle R_ {1}, R_ {2}}$ takové, že a přirozené spojení ze dvou menších vztahů získá zpět původní vztah. To je při bezpečném odstraňování redundance klíčové databáze při zachování původních dat.^[1]

Kritéria

Lze také nazvat neaditivní.^{[Citace je zapotřebí ]}

Li ${ displaystyle R}$ je rozdělena na ${ displaystyle R_ {1}}$ a ${ displaystyle R_ {2}}$, aby byl tento rozklad bezeztrátový (tj. ${ displaystyle R_ {1} motýlek R_ {2} = R}$) by pak mělo být splněno alespoň jedno ze dvou následujících kritérií.

Kontrola 1: Ověřte explicitně připojení

Promítání na ${ displaystyle R_ {1}}$ a ${ displaystyle R_ {2}}$a jejich připojení zpět vede k relaci, se kterou jste začali.^{[2][nespolehlivý zdroj? ]}

Kontrola 2: Prostřednictvím funkčních závislostí

Nechat ${ displaystyle R}$ být schématem relace.

Nechat F být soubor funkční závislosti na ${ displaystyle R}$.

Nechat ${ displaystyle R_ {1}}$ a ${ displaystyle R_ {2}}$ tvoří rozklad ${ displaystyle R}$ .

Rozklad je bezztrátový rozklad rozkladu ${ displaystyle R}$ pokud existuje alespoň jedna z následujících funkčních závislostí F⁺ (kde F⁺ znamená uzavření pro každý atribut nebo soubor atributů F):^[3]

• ${ displaystyle R_ {1} čepice R_ {2} pravá šipka R_ {1}}$
• ${ displaystyle R_ {1} cap R_ {2} rightarrow R_ {2}}$

Příklady

• Nechat ${ displaystyle R = (A, B, C, D)}$ být relačním schématem s atributy A, B, C a D.
• Nechat ${ displaystyle F = {A pravá šipka BC }}$ být soubor funkčních závislostí.
• Rozklad na ${ displaystyle R_ {1} = (A, B, C)}$ a ${ displaystyle R_ {2} = (A, D)}$ je bezztrátový pod F protože ${ displaystyle R_ {1} cap R_ {2} = A)}$. A je superklíč v ${ displaystyle R_ {1}}$, což znamená, že máme funkční závislost ${ displaystyle {A rightarrow BC }}$. Jinými slovy, nyní jsme to dokázali ${ displaystyle (R_ {1} cap R_ {2} rightarrow R_ {1}) ve F ^ {+}}$.

^[4][5]

Reference