Redigerer Første normalform (avsnitt)

== 1NF-tabeller som representasjoner av relasjoner ==
I følge Dates definisjon er en tabell i første normalform hvis og bare hvis den er [[Isomorfisme|isomorf]] til en relasjon, hvilket betyr at den spesifikt tilfredsstiller følgende fem betingelser:<ref>{{Kilde bok|tittel=What First Normal Form Really Means|etternavn=Date|fornavn=C. J.|forfatter-lenke=Christopher J. Date|dato=2007|verk=Date on Database: Writings 2000–2006|utgiver=Apress|isbn=978-1-4842-2029-0}}</ref>

# Det er ingen topp-til-bunn-sortering av radene
# Det er ingen venstre-til-høyre rekkefølge for kolonnene
# Det er ingen dupliserte rader
# Snittet av enhver rad og kolonne inneholder bare én verdi fra det aktuelle fra domenet (og ingenting annet)
# Alle kolonner er vanlige (altså ingen rader har skjulte komponenter som rad-ID-er, objekt-ID-er eller skjulte [[Tidsstempel|tidsstempler]].

Brudd på noen av disse betingelsene vil bety at tabellen ikke er strengt relasjonell, og derfor ikke er i første normal form.

Eksempler på tabeller (eller [[Visning (database)|visninger]] ) som ikke vil oppfylle denne definisjonen av første normalform er:

* En tabell uten krav til unik nøkkel. En slik tabell vil kunne inneholde dupliserte rader, som er i strid med betingelse 3.
* En visning hvis definisjon krever at resultater returneres i en bestemt rekkefølge, altså slik at rekkefølgen er et iboende og meningsfullt aspekt av visningen. (Slike visninger kan ikke opprettes med [[Structured Query Language|SQL]] i henhold til [[SQL:2003]]-standarden.) Dette bryter med betingelse 1. [[Tuppel|Tupler]] i ekte relasjoner er ikke ordnet i forhold til hverandre.
* En tabell med minst en [[NULL|nullbar]] attributt. En nullbar attributt vil være i strid med betingelse 4 som krever at hver kolonne inneholder nøyaktig én verdi fra kolonnens domene. Dette aspektet av betingelse 4 er kontroversielt. Det markerer et viktig avvik fra [[Edgar F. Codd|Codds]] senere visjon om [[relasjonsmodellen]]<ref>{{Kilde bok|tittel=SQL and Relational Theory|etternavn=Date|fornavn=C. J.|forfatter-lenke=Christopher J. Date|utgiver=O'Reilly|kapittel=Appendix A.2|sitat=Codd first defined the relational model in 1969 and didn't introduce nulls until 1979}}</ref> som ga eksplisitt bestemmelse for nil-verdier.<ref>{{cite magazine|last=Date|first=C. J.|author-link=Christopher J. Date|date=October 14, 1985|title=Is Your DBMS Really Relational?|magazine=Computerworld|quote=Null values ... [must be] supported in a fully relational DBMS for representing missing information and inapplicable information in a systematic way, independent of data type.}} (the third of Codd's 12 rules)</ref> Den første normalformen, som definert av Christoper John Date, tillater attributter med relasjonsvaluerte attributter (tabeller inni tabeller). Date argumenterer for at attributter med relasjonsvaluerte attributter er nyttige i sjeldne tilfeller.<ref>{{Kilde bok|tittel=What First Normal Form Really Means|etternavn=Date|fornavn=C. J.|forfatter-lenke=Christopher J. Date|dato=2007|verk=Date on Database: Writings 2000–2006|utgiver=Apress|isbn=978-1-4842-2029-0}}</ref>