Em um banco de dados relacional deve haver, em cada uma de suas relações, um conjunto de um ou mais atributos que não admite valores iguais, nesse conjunto, para qualquer par de tuplas da relação. Esse conjunto de atributos tem a seguinte denominação: