Schlüsselfeld zur Identifikation eines Datensatzes.

Legt man Daten in einem relationalen Datenbanksystem ab, so werden die Datensätze in Form von Relationen, also von Tabellen, gespeichert. Jede Tabelle hat eine endliche Anzahl von Attributen, die den Spaltenüberschriften entsprechen. Hat eine gegebene Tabelle T die Attribute A₁, …, A_n mit den Wertebereichen W₁, …, W_n, so sucht man nach einer Menge von Attributen, die für jeden Datensatz von T minimal identifizierend ist. Daher heißt eine Menge von Attributen A = {A_i1, …, A_im } ⊆ {A₁, …, A_n} ein Schlüssel oder auch ein key von T, falls gelten:

1. A ist identifizierend für T, das heißt: stimmen zwei Datensätze t₁, t₂ ∈ T auf den Attributen aus A überein, so gilt t₁ = t₂.
2. Keine echte Teilmenge von A ist identifizierend. Mit Hilfe dieses Schlüssels ist ein effizienter Zugriff auf die Datensätze in einer Tabelle möglich.