Um ou mais atributos {A1, A2,..., An} é uma chave primária em uma relação se esses atributos funcionalmente determinam todos os outros atributos na relação (duas tuplas distintas da relação não podem ter os mesmos valores de A1, A2,..., An) e não há um subconjunto de {A1, A2,..., An} que funcionalmente determine todos os outros atributos da relação.