Elementærnøkkel normalform
Elementærnøkkel normalform (EKNF) er en subtil forbedring av tredje normalform (3NF), og derfor tilfredsstiller EKNF-tabeller 3NF per definisjon. Dette skjer når det er mer enn én unik sammensatt nøkkel og disse overlapper hverandre. Slike tilfeller kan forårsake overflødig informasjon i de overlappende kolonnene.
En videre forbedring av EKNF er BCNF.
Historie
[rediger | rediger kilde]EKNF ble definert av Carlo Zaniolo i 1982.[1]
Definisjon
[rediger | rediger kilde]En tabell er på EKNF hvis og bare hvis alle dens elementære funksjonelle avhengigheter begynner med hele nøkler eller slutter ved elementære nøkkelattributter. For hver fulle ikke-trivielle funksjonelle avhengighet av formen X→Y, så er enten X en nøkkel eller Y er (en del av) en elementær nøkkel.[1]
I denne definisjonen er en elementær funksjonell avhengighet en full funksjonell avhengighet (en ikke-triviell funksjonell avhengighet X → A slik at det ikke er noen funksjonell avhengighet X' → A som også gjelder med X' som en streng delmengde av X), og en elementær nøkkel er en nøkkel X som det finnes en attributt A for slik at X → A er en elementær funksjonell avhengighet.
Referanser
[rediger | rediger kilde]- ^ a b Zaniolo, Carlo (September 1982). «A New Normal Form for the Design of Relational Database Schemata» (PDF). ACM Transactions on Database Systems. 7 (3): 489–499. doi:10.1145/319732.319749.Mal:Page needed