Sjätte normalformen

Sjätte normalformen (6NF) är  en av de möjliga normalformerna av en relationsdatabastabell .

Infört av K. Date som en generalisering av den femte normalformen för en kronologisk databas [1] .

Definition

En relationsvariabel är i sjätte normalform om och endast om den uppfyller alla icke-triviala sammanfogningsberoenden. Det följer av definitionen att en variabel är i 6NF om och endast om den är irreducerbar, det vill säga den inte kan utsättas för ytterligare förlustfri nedbrytning . Varje relationsvariabel som finns i 6NF finns också i 5NF.

Exempel

Idén om "nedbrytning till slutet" lades fram före början av forskning inom området kronologisk data, men fann inget stöd. Men för kronologiska databaser tillåter maximal nedbrytning dig att hantera redundans och gör det lättare att upprätthålla databasens integritet.

För kronologiska databaser definieras U_operatorer som packar upp relationer med specificerade attribut, utför motsvarande operation och packar det resulterande resultatet. I det här exemplet måste relationsprojektionerna sammanfogas med hjälp av operatorn U_JOIN.

Relationsvariabeln "Anställda" finns inte i 6NF och kan delas upp i relationsvariabler "Anställda befattningar" och "Anställdas hemadresser".

Anteckningar

1. ↑ Datum K.J., 2005 , sid. 955.

Litteratur

• Datum CJ Introduktion till databassystem = Introduktion till databassystem. - 8:e uppl. - M. : Williams , 2005. - 1328 sid. - ISBN 5-8459-0788-8 (ryska) 0-321-19784-4 (engelska).