Definicija: Ključ entitetnega tipa E je atribut (ali več atributov skupaj), ki enolično določajo / identificirajo posamezni primerek entitetnega tipa (entiteto).

Ključ entitetnega tipa ni nikoli opcijski atribut. To pomeni, da njegova vrednost mora biti podana. Primarni ključ nekega entitetnega tipa je možno deklarirati tudi kot sestavljenko iz dveh ali več atributov. Praviloma se temu izogibamo, ker dolgi ključi zahtevajo daljše (večje) indeksne datoteke, kar povzroča počasnejše delovanje PB.

Pri grafični predstavitvi entitetnega tipa z atributi, imena atributov, ki sestavljajo primarni ključ (entitetni identifikator) podčrtamo: