Redigerer Fjerde normalform (avsnitt)

== Flervaluerte avhengigheter ==
Hvis kolonnenavnene i en relasjonsdatabasetabell er delt inn i tre [[disjunkte mengder]] ''X'', ''Y'' og ''Z'' kan man i forbindelse med en bestemt rad referere til dataene under hver kolonne som henholdsvis ''x'', ''y'' og ''z''. En [[Multivaluert avhengighet|flervaluert avhengighet]] ''X'' <math>\twoheadrightarrow</math> ''Y'' betyr at at hvis vi velger en hvilken som helst ''x'' som faktisk forekommer i tabellen (kall dette valget ''x<sub>c</sub>''), og kompilerer en liste over alle kombinasjonene ''x<sub>c</sub>yz'' som forekommer i tabellen vil vi finne at ''x<sub>c</sub>'' er assosiert med samme ''y''-oppføringer uavhengig av ''z''. Dermed gir tilstedeværelsen av z ingen nyttig informasjon for å begrense de mulige verdiene til ''y''.

En '''triviell flervaluert avhengighet''' ''X'' <math>\twoheadrightarrow</math> ''Y'' er en der enten ''Y'' er en delmengde av ''X'', eller ''X'' og ''Y'' sammen danner hele mengden [[Attributt|attributter]] til relasjonen.

En [[funksjonell avhengighet]] er et spesielt tilfelle av flervaluert avhengighet. I en funksjonell avhengighet ''X'' → ''Y'' bestemmer hver ''x'' eksakt én ''y'', og aldri mer enn én.