No modelo relacional formal, uma relação é definida como um conjunto de tuplas. O conjunto de um ou mais atributos que, tomados coletivamente, permite-nos identificar unicamente uma entidade é conhecido por: