Dekompozycja złączenia bezstratnego

W projektowaniu baz danych bezstratna dekompozycja łączenia $R_ {1}, R_ {2}}$ dekompozycją relacji na relacje w taki sposób, że naturalne połączenie dwóch mniejszych relacji $displaystyle$ zwraca pierwotną relację. Ma to zasadnicze znaczenie dla bezpiecznego usuwania nadmiarowości z baz danych przy jednoczesnym zachowaniu oryginalnych danych.

Kryteria

Łączenie bezstratne można również nazwać nieaddytywnym.

${\ displaystyle R} jest$ podzielony na ${\ displaystyle R_ {1}}$ i ${\ displaystyle R_ {2}}$ , aby ten rozkład był bezstratny (tj. ${\ displaystyle R_{1}\bowtie R_{2}=R}$ ), to powinno być spełnione co najmniej jedno z dwóch poniższych kryteriów.

Kwestia 1: jawnie zweryfikuj dołączenie

Rzutowanie na i ${\ displaystyle$ $R_ {2}} i ponowne ich połączenie$ w rezultacie relację, od której zacząłeś ^{[ niewiarygodne źródło? ]}

Sprawdź 2: Za pomocą zależności funkcjonalnych

Niech $.$ schematem relacji

Niech $F$ będzie zbiorem zależności funkcjonalnych na ${\ displaystyle R}$ .

Niech ${\ displaystyle R_ {1}}$ i ${\ displaystyle R_ {2}}$ utworzą rozkład ${\ displaystyle R}$ .

Dekompozycja jest dekompozycją bezstratnego łączenia, jeśli co najmniej jedna z następujących zależności funkcjonalnych występuje w $F$ ⁺ (gdzie $F$ ⁺ oznacza domknięcie każdego atrybutu lub zestawu atrybutów w $R {\ displaystyle R}$ $)$ :

${\ Displaystyle R_ {1} \ czapka R_ {2} \ strzałka w prawo R_ {1}}$
${\ Displaystyle R_ {1} \ czapka R_ {2} \ strzałka w prawo R_ {2}}$

Przykłady

Niech ${\ Displaystyle R = (A, B, C, D)}$ będzie schematem relacji z atrybutami $A$ , $b$ , $C$ i $re$ .
Niech ${\ Displaystyle F = \ {A \ rightarrow BC \}}$ będzie zbiorem zależności funkcjonalnych.
Rozkład na ${\ Displaystyle R_ {1} = (A, B, C)}$ i ${\ Displaystyle R_ {2} = (A, D) }$ jest bezstratny pod $F$ , ponieważ ${\ Displaystyle R_ {1} \ cap R_ {2} = A)}$ . $A$ jest superkluczem w ${\ Displaystyle R_ {1}}$ , co oznacza, że mamy zależność funkcjonalną ${\ Displaystyle \ {A \ rightarrow BC \}}$ . Innymi słowy, teraz udowodniliśmy, że ${\ Displaystyle (R_ {1} \ cap R_ {2} \ rightarrow R_ {1}) \ in F ^ {+} }$ .