I databaser er en tapsfri dekomposisjon (tysk: Verbundtreue, også kalt Verlustlosigkeit) er når en relasjon dekomponeres på en slik måte at den opprinnelige relasjonen kan gjenopprettes fra den dekomponerte relasjonen ved å bruke en naturlig skjøt (engelsk: natural join)
Funksjonell avhengighet er et relatert tema.
Enkelt kriterium En nedbrytning av en relasjonsmodell R i to underordninger R1 og R2 er er tapsfri dersom:
eller
Eksempler Anta en relasjon med nøkkelkandidat .
Tapsfri dekomposisjon Relasjonen brytes ned til to relasjoner og . Da vil det gjelde at og , forenklet: +R ABC 112 123 212
+R1 AB 11 12 21
+R2 BC 12 23
+ ABC 112 123 212
Ikke-tapsfri dekomposisjon +R ABC 112 123 213
+R1 AB 11 12 21
+R2 BC 12 23 13
+ ABC 112 113 123 212 213
Årsaken til mangel på tapsfrihet i det andre eksemplet er at det hverken er en funksjonell avhengighet mellom B → A eller mellom B → C. I det første eksemplet hadde man derimot B → C.
Se også Arbeidsenhet Ekviskjøt, en undertype av sammenføyninger hvor det kun brukes likhetstegn i skjøtepredikatet Funksjonell dekomposisjon Relasjon (database) Relasjonsalgebra
Eksterne lenker IN2090 – Databaser og datamodellering 08 – Tapsfri dekomposisjon
Kategori:Datamodellering