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 EKNF ble definert av Carlo Zaniolo i 1982.
Definisjon 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.
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
Kategori:Datamodellering