Em bancos de dados relacionais há um tipo de atributo cuja condição básica é que duas entidades quaisquer do conjunto de entidades não podem ter o mesmo valor para esse atributo. Esse tipo de atributo recebe a denominação de