6NF (zesde normaalvorm)
De zesde normaalvorm is de verst doorgevoerde normalisatie van het relationele model: elke tabel bevat één sleutel en één attribuut, eventueel met tijdassen. Elk gegeven wordt zo een zelfstandig atoom. Date, Darwen en Lorentzos introduceerden 6NF vanuit temporele databases – zie ook bi-temporaliteit.
Betekenis voor de handreiking
Voor de handreiking en Atomaire Claims & Annotaties (ACA) was 6NF het bewijs dat atomair werken op instance-niveau binnen het relationele denken al bestaat. In een bi-temporale tabel met meerdere attributen dupliceert elke wijziging de ongewijzigde waarden en moet je rijen vergelijken om te zien wat er veranderde. 6NF introduceert eigenlijk informatieatomen en maakt het mogelijk om over ieder atoom afzonderlijk de tijd te registreren. 6NF liet de hier ook de grens zien: het is een tabel en tabellen kennen geen recursie. Twijfel aan een gegeven, de herkomst van die twijfel en de tijd van die twijfel passen er niet in. Die stap zetten we in ACA.
Referenties
- Date, C.J., Darwen, H. & Lorentzos, N.A. (2003). Temporal Data and the Relational Model. Morgan Kaufmann – de oorspronkelijke introductie van 6NF.
- Date, C.J., Darwen, H. & Lorentzos, N.A. (2014). Time and Relational Theory. Morgan Kaufmann – de herziene uitgave.