Redigerer Sjette normalform (avsnitt)

== Definisjon ==
[[Christopher J. Date|Christopher John Date]] og andre har definert sjette normalform som en [[Databasenormalisering|normalform]] basert på en utvidelse av relasjonsalgebraen.

Relasjonsoperatorer som skjøt (''join'') blir generaliserte for å støtte naturlig behandling av intervalldata, for eksempel [[Løpenummer|sekvenser]] av datoer eller tidspunkter (''points in time''), for eksempel i temporale databaser. Sjette normalformen er derved basert på en generalisert skjøt som følger:<blockquote>En [[relvar]] R [tabell] er på sjette normalform [[hvis og bare hvis]] den ikke tilfredsstiller noen ikke-[[Trivialitet (matematikk)|trivielle]] skjøteavhengigheter i det hele tatt, hvor en [[skjøteavhengighet]] (''join dependency'') er triviell hvis og bare hvis minst en av projeksjonene (muligens U_projeksjoner) som er involvert tas over hele mengden av alle [[Attributt|attributter]] i den aktuelle relvar [tabellen].{{Sfn|Date|Darwen|Lorentzos|2003}}</blockquote>Date og kolleger har også gitt følgende definisjon:<blockquote>En relvar R er på sjette normalform hvis og bare hvis hver skjøteavhengighet av R er [[Trivialitet (matematikk)|triviell]], hvor en skjøteavhengighet er triviell hvis og bare hvis en av komponentene er lik den relevante overskriftsraden i sin helhet. {{Sfn|Date|Darwen|Lorentzos|2014}}</blockquote>Enhver relasjon på 6NF er også på [[Femte normalform|5NF]].

Sjette normalform er ment å dekomponere relasjonsvariabler til [[Irredusibilitet (matematikk)|irreduserbare]] komponenter. Selv om dette kan være relativt uviktig for [[Gjeldende database|ikke-temporale]] relasjonsvariabler kan det være viktig når man arbeider med [[Temporal database|temporale]] variabler eller andre [[Intervall (matematikk)|intervalldata]]. For eksempel dersom en relasjon omfatter en leverandørs {navn}, {status} og {tettsted} kan det hende vi også ønsker å legge til temporale data som for eksempel tidene eller tidsrommet da disse verdiene er eller var [[Gyldigtid|gyldige]] (for eksempel for historiske data), men de tre verdiene kan variere uavhengig av hverandre og med forskjellige [[Stordata|hastigheter]]. Vi kan for eksempel ønske å spore [[Fangst av dataendringer|endringshistorikken]] til {status}, og en gjennomgang av produksjonskostnadene kan avsløre at en endring ble forårsaket av at en leverandør byttet by og dermed hva de tok betalt for levering.

For ytterligere diskusjon om temporal [[Aggregering (datavarehus)|aggregering]] i [[Structured Query Language|SQL]], se også Zimanyi.{{Sfn|Zimanyi|2006}} For en annen tilnærming, se [[TSQL2]].{{Sfn|Snodgrass}}