Schlüssel-Integritätsbedingung

Relationen sind Mengen von Tupeln, die allein durch ihre Werte unterschieden werden. Der Begriff Menge impliziert Eindeutigkeit der Elemente, d. h. es kann in einer Menge nicht zwei Elemente geben, die die gleichen Werte besitzen. Tupel müssen folglich eindeutig identifizierbar sein. Somit muss also auch jeder Schlüssel eindeutig sein.

Schlüsselkandidat:

Jedes Attribut oder jede minimale Attributkombination, die alle Tupel einer Relation eindeutig identifiziert, ist ein Schlüsselkandidat. Dabei bedeutet „minimal“, dass kein Attribut ohne Verlust der eindeutigen Identifizierbarkeit weggelassen werden kann.

Primärschlüssel:

Der unter den Schlüsselkandidaten ausgewählte Identifikationsschlüssel wird zum Primärschlüssel der Relation.
Primärschlüssel werden meist unterstrichen dargestellt.