Uma chave de um relacionamento R é qualquer subconjunto K de R que satisfaça a propriedade de que, em todo relacionamento válido dentro de R, não é possível ter duas tuplas diferentes com o mesmo valor dentro de K.