Decomposizione senza perdita

si ha decomposizione senza perdita su due insiemi di attributi A1 e A2 qualora un operazione di join delle proiezioni A1 A2 della relazione è identico alla relazione originaria (cioè, ricomponendo non si generano ennuple spurie)
sia A0 = A1 ∩ A2. Si ha decomposizione senza perdita se la relazione soddisfa A0A1 o A0A2 o entrambe
si ha decomposizione senza perdita se gli attributi in comune tra A1 e A2 costituiscono una chiave per almeno una delle due nuove relazioni
una decomposizione conserva le dipendenze se ciascuna delle dipendenze originarie è presente nelle nuove relazioni

si ha decomposizione senza perdita su due insiemi di attributi A1 e A2 qualora un operazione di join delle proiezioni A1 A2 della relazione è identico alla relazione originaria (cioè, ricomponendo non si generano ennuple spurie)