Das heißt wenn du z.B. die Relation mit den Attributen "Personalnummer, Vorname, Nachname, Wohnort" hast, wäre ein Superschlüssel "Personalnummer, Vorname", weil dieser eindeutig ein Tupel identifizieren könnte.

Ein weiterer Superschlüssel könnte jetzt aber auch einfach nur "Personalnummer" sein, dieser wäre dann minimal, da man kein Attribut mehr weglassen kann, ohne dass man dadurch die Eigenschaft verliert, dass dieser Schlüssel ein Tupel dieser Relation eindeutig identifiziert. Dieser Schlüssel ist dann ein Superschlüssel aber auch ein Schlüsselkanidat, weil ja auch er die Datensätze der Relation eindeutig identifizieren kann.

Angenommen du könntest jetzt mehrere Schlüsselkanidaten bilden, dann kannst du dir einen beliebigen davon aussuchen welchen du letztendlich als Primärschlüssel für deine Relation wählst.

Ein Superschlüssel (auch Oberschlüssel, engl. super key) ist eine beliebige Menge von Attributen, die die Tupel einer Abhängigkeit eindeutig identifiziert. Haben zwei Datensätze die gleichen Werte in den Attributen von α, so haben sie auch die gleichen Werte in den Attributen A. 

Anhand dieser Definition ergeben sich schon für kleine Anzahlen von Attributen sehr viele Superschlüssel. Zum Beispiel: 

a) {Name, Geburtstag}, {Name, Geburtstag, Wohnort}, {Name, Geburtstag, Wohnort, ...}

Besonders zu beachten ist, dass die Kombination aller Attribute einer Relation immer einen Superschlüssel bildet. Das kommt daher, dass Abhängigkeiten keine zwei völlig identischen Tupel enthalten dürfen - denn eine Relation ist prinzipiell eine Menge und nach der Mengenlehre darf eine solche keine zwei identischen Elemente enthalten. Des Weiteren sind in dieser oft unüberschaubaren Menge auch die „praktischeren“ Schlüsselkandidaten enthalten. Der Begriff des Superschlüssels spielt allerdings bei den Definition der Normalformen 3. Normalform (3NF) und Boyce-Codd-Normalform (BCNF) eine wichtige Rolle.