Décomposition de jointure sans perte

Dans le domaine de la conception de bases de données, une décomposition de jointure sans perte est une décomposition d'une relation $R$ dans des sous-relations $R_1,R_2$ de telle sorte qu'une jointure naturelle des deux sous-relations renvoie la relation originale. Il s'agit d'un moyen central pour supprimer en toute sécurité la redondance dans les bases de données tout en préservant les données d’origine. La jointure sans perte peut également être appelée jointure non-additive.

Critères

Soit $(R_1,R_2)$ une décomposition d'une relation $R$.

La décomposition est sans perte si et seulement si la jointure naturelle de $R_1$ et $R_2$ aboutit à la relation originale $R$ (c'est-à-dire, si $R_1\bowtie R_2=R$).

De manière équivalente, la décomposition est sans perte si et seulement si l'une des sous-relations (c'est-à-dire $R_1$ ou $R_2$) est un sous-ensemble de la clôture de leur intersection. Autrement dit, la décomposition de $R$ est sans perte si $R_1\subseteq [R_1\cap R_2{]}^{+}$ ou $R_2\subseteq [R_1\cap R_2{]}^{+}$ est vrai.

Critères pour plusieurs sous-relations

Plusieurs sous-relations $R_1,R_2,...,R_n$ ont une jointure sans perte s'il existe un moyen par lequel on peut effectuer à plusieurs reprises des jointures sans perte jusqu'à ce que toutes les relations aient été jointes en une seule relation. Une fois que l'on a une nouvelle sous-relation créée à partir d’une jointure sans perte, on ne peut plus utiliser une de ses sous-relations isolées pour se joindre à l’une des autres relations. Par exemple, si on peut effectuer une jointure sans perte sur une paire de relations $R_i,R_j$ pour construire une nouvelle relation $R_{i,j}$, on utilisera alors cette nouvelle relation (plutôt que $R_i$ ou $R_j$) pour former une jointure sans perte avec une autre relation $R_k$ (qui peut avoir déjà été jointe (par exemple, $R_{k,l}$)).

ExemplesModèle:,

• Soit $R=(A,B,C,D)$ être un schéma relationnel, avec les attributs Modèle:Mvar, Modèle:Mvar, Modèle:Mvar et Modèle:Mvar.
• Soit $F=\{A\to BC\}$ être l’ensemble des dépendances fonctionnelles.
• La décomposition en $R_1=(A,B,C)$ et $R_2=(A,D)$ est sans perte sous Modèle:Mvar car $R_1\cap R_2=A$. Modèle:Mvar est une super-clé dans $R_1$, ce qui signifie que nous avons une dépendance fonctionnelle $\{A\to BC\}$. En d’autres termes, nous avons maintenant prouvé que $(R_1\cap R_2\to R_1)\in F^{+}$.