Dado um esquema de relação R = {A1, A2, ..., An}, um subconjunto de atributos de R com a propriedade de que duas tuplas, em qualquer possível estado válido da relação R, não tenham as mesmas combinações de valores para esses atributos, é denominada de