Klucz kandydujący w relacji jest podzbiorem zbioru atrybutów jednoznacznie identyfikującym każdą krotkę w Dodatkową własnością tego klucza jest jego minimalność – żaden podzbiór zbioru nie jest unikatowy dla wszystkich krotek w Klucz kandydujący zawierający więcej niż jeden atrybut nazywa się kluczem złożonym, zaś zawierający dokładnie jeden atrybut – kluczem prostym. Dla każdej relacji musi zostać wybrany dokładnie jeden z kluczy kandydujących na tzw. klucz główny.
Dla danej relacji podzbiór atrybutów zbioru określany jest mianem klucza obcego jeżeli spełnia następujące warunki: Nie jest kluczem głównym w Istnieje klucz kandydujący relacji (różnej od ), takiej że Dla każdej krotki relacji istnieje krotka w taka że wartości krotki dla atrybutów ze zbioru są równe wartościom krotki dla atrybutów ze zbioru
W modelu relacyjnym wyróżniona jest specjalna ustalona wartość należąca do każdej dziedziny atrybutów.