Fråga
Det finns alltid minst en supernyckel och minst en kandidatnyckel i varje relation.
Om vi antar att det finns minst en supernyckel,
varför finns det också minst en kandidatnyckel?
Svar
En kandidatnyckel är en minimal supernyckel,
dvs en supernyckel där man inte kan ta bort några attribut om den fortfarande ska vara garanterat unik.
Välj vilken som helst av (de minst en) supernycklarna.
Är den minimal?
I så fall är den en kandidatnyckel.
Är den inte minimal?
Ta i så fall bort alla onödiga attribut,
så att det inte går att ta bort fler om den fortfarande ska vara garanterat unik.
De attribut som är kvar är en kandidatnyckel.
(Matematiker som inte tycker att det duger som bevis får gärna
klaga.)
Av Thomas Padron-McCarthy
(e-post: webbkursen@databasteknik.se).
Copyright,
alla rättigheter reserverade, osv.
Senaste ändring:
6 juli 2002