Hopp til innhold

Elementærnøkkel normalform

Fra Wikipedia, den frie encyklopedi

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.

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]
  1. ^ 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