CMD + K

Kapittel 3Begreper & formler · Normalformer og normalisering
Referanseside · Kapittel 3

Begreper & formler

Alle nøkkelbegrepene og formlene fra Normalformer og normalisering, samlet på én side. Bruk denne som oppslag når du leser, øver flashcards eller tar quiz.

Øv med flashcards9 kort fra dette kapittelet

Begreper

Sentrale begreper fra kapittelet med korte definisjoner.

011NF

Alle attributter er atomiske.

022NF

Ingen delvise avhengigheter fra kandidatnøkkel til ikke-prime attributter.

033NF

For hver X → A må X være supernøkkel eller A være prim-attributt.

04BCNF

For hver ikke-triviell X → Y må X være supernøkkel.

05Multiverdiavhengighet

X ↠ Y uttrykker uavhengige multiverdier gitt X.

064NF

For hver ikke-triviell MVD må determinanten være supernøkkel.

07Tapsløs dekomponering

Join av dekomponerte relasjoner gir opprinnelig relasjon.

08FD-bevaring

Alle funksjonelle avhengigheter kan håndheves uten join.

Formler

Hver formel: hva den heter, hvordan den ser ut, og hva symbolene betyr.