Primärschlüssel
Ein Schlüssel ist eine Attributmenge, deren Werte jedes Tupel einer Relation eindeutig bestimmen. Ein Schlüsselkandidat ist ein Schlüssel, aus dem sich kein Attribut mehr streichen lässt – er ist minimal.
Einer der Schlüsselkandidaten wird als Primärschlüssel ausgewählt. Er darf nie fehlen und nie doppelt vorkommen; diese Zusicherung heißt Entitätsintegrität.
Ob eine Attributmenge ein Schlüssel ist, entscheidet nicht der aktuelle Datenbestand, sondern die Bedeutung der Daten.