Redigerer Fjerde normalform (avsnitt)

== Eksempel ==
Anta følgende eksempel:
{| class="wikitable"
|+[[Permutasjoner]] for pizzalevering
! Restaurant
! Pizzatype
! Leveringsområde
|-
| Elgsnes pizzeria
| Tykk skorpe
| Grønnebakkan
|-
| Elgsnes pizzeria
| Tykk skorpe
| Gansås
|-
| Elgsnes pizzeria
| Tykk skorpe
| Bergseng
|-
| Elgsnes pizzeria
| Fylt skorpe
| Grønnebakkan
|-
| Elgsnes pizzeria
| Fylt skorpe
| Gansås
|-
| Elgsnes pizzeria
| Fylt skorpe
| Bergseng
|-
| Elite pizza
| Tynn skorpe
| Bergseng
|-
| Elite pizza
| Fylt skorpe
| Bergseng
|-
| Hårek pizzeria
| Tykk skorpe
| Grønnebakkan
|-
| Hårek pizzeria
| Tykk skorpe
| Gansås
|-
| Hårek pizzeria
| Tynn skorpe
| Grønnebakkan
|-
| Hårek pizzeria
| Tynn skorpe
| Gansås
|}

Hver rad indikerer at en gitt restaurant kan levere et gitt utvalg av pizza til et gitt område.

Tabellen har ingen ikke-nøkkelattributter fordi den eneste kandidatnøkkelen er {Restaurant, pizzatype, leveringsområde}. Derfor tilfredsstiller den alle normalformer opp til BCNF.

Hvis vi imidlertid antar at pizzatyper som tilbys av en restaurant ikke påvirkes av leveringsområdet (altså at en restaurant tilbyr alle pizzatyper den lager til alle områder den leverer) så vil ikke tabellen oppfylle 4NF. Problemet er at tabellen inneholder to ikke-trivielle flervaluerte avhengigheter på {Restaurant}-attributtet (som ikke er en supernøkkel). Avhengighetene er:

* {Restaurant} <math>\twoheadrightarrow</math> {Pizzatype}
* {Restaurant} <math>\twoheadrightarrow</math> {Leveringsområde}

Disse ikke-trivielle flervaluerte avhengighetene av en ikke-supernøkkel reflekterer faktumet at variantene av pizza en restaurant tilbyr er uavhengig av områdene restauranten leverer til. Denne tilstanden fører til [[Dataredundans|redundans]] i tabellen. For eksempel blir vi fortalt tre ganger at Elgsnes pizzeria tilbyr fylt skorpe, og hvis Elgsnes pizzeria begynner å produsere pizzaer med osteskorper må vi legge til flere rader; altså en for hver av Elgsnes pizzeria sine leveringsområder. Det er dessuten ingenting som hindrer oss i å gjøre dette feil: Vi kan legge til rader med osteskorpe for alle unntatt ett av Elgsnes pizzeria sine leveringsområder, og dermed unnlate å respektere den flervaluerte avhengigheten {Restaurant} <math>\twoheadrightarrow</math> {Pizzatype}.

For å eliminere muligheten for disse uregelmessighetene må fakta om varianter som tilbys plasseres i en annen tabell enn faktaene om leveringsområde, hvilket gir to tabeller som begge er på 4NF:

{| class="wikitable" style="margin: 10px; float:left;"
|+Typer etter restaurant
! Restaurant
! Pizzatype
|-
| Elgsnes pizzeria
| Tykk skorpe
|-
| Elgsnes pizzeria
| Fylt skorpe
|-
| Elite pizza
| Tynn skorpe
|-
| Elite pizza
| Fylt skorpe
|-
| Hårek pizzeria
| Tykk skorpe
|-
| Hårek pizzeria
| Tynn skorpe
|}

{| class="wikitable" style="margin: 10px; float:left;"
|+Leveringsområde etter restaurant
! Restaurant
! Leveringsområde
|-
| Elgsnes pizzeria
| Grønnebakkan
|-
| Elgsnes pizzeria
| Gansås
|-
| Elgsnes pizzeria
| Bergseng
|-
| Elite pizza
| Bergseng
|-
| Hårek pizzeria
| Grønnebakkan
|-
| Hårek pizzeria
| Gansås
|}
{{Clear}}

Til motsetning: Dersom det faktisk stemmer at pizzatypene som tilbys av en restaurant noen ganger legitimt varierer fra et leveringsområde til et annet ville den originale tre-kolonnede tabellen tilfredsstilt 4NF.