Sjette normalform

Sjette normalform (6NF)  er en af ​​de mulige normale former for en relationel databasetabel .

Indført af K. Dato som en generalisering af den femte normalform for en kronologisk database [1] .

Definition

En relationsvariabel er i sjette normalform, hvis og kun hvis den opfylder alle ikke-trivielle joinafhængigheder. Det følger af definitionen, at en variabel er i 6NF, hvis og kun hvis den er irreducerbar, det vil sige, at den ikke kan udsættes for yderligere tabsfri dekomponering . Hver relationsvariabel, der er i 6NF, er også i 5NF.

Eksempel

Ideen om "nedbrydning til slutningen" blev fremsat før begyndelsen af ​​forskning inden for kronologiske data, men fandt ikke støtte. Men for kronologiske databaser giver den maksimalt mulige nedbrydning dig mulighed for at håndtere redundans og gør det lettere at bevare databasens integritet.

For kronologiske databaser er U_operators defineret, som udpakker relationer med specificerede attributter, udfører den tilsvarende operation og pakker det resulterende resultat. I dette eksempel skal relationsprojektionerne forbindes ved hjælp af U_JOIN-operatoren.

Medarbejdere
Tab. Ingen. Tid Jobtitel Hjemme adresse
6575 [01-01-2000:10-02-2003] låsesmed st. Lenina, 10
6575 [11-02-2003:15-06-2006] låsesmed st. Sovjet, 22
6575 [16-06-2006:05-03-2009] værkfører st. Sovjet, 22

Relationsvariablen "Medarbejdere" er ikke i 6NF og kan dekomponeres i relationsvariabler "Medarbejderstillinger" og "Medarbejderhjemmeadresser".

Medarbejderstillinger
Tab. Ingen. Tid Jobtitel
6575 [01-01-2000:15-06-2006] låsesmed
6575 [16-06-2006:05-03-2009] værkfører
    Medarbejdernes hjemmeadresser
Tab. Ingen. Tid Hjemme adresse
6575 [01-01-2000:10-02-2003] st. Lenina, 10
6575 [11-02-2003:15-06-2006] st. Sovjet, 22

Noter

  1. Dato K.J., 2005 , s. 955.

Litteratur