Considerando uma variável de relação R, diz-se que K é uma chave candidata de R se ela apresentar as propriedades de unicidade e irredutibilidade. A primeira propriedade garante que não há duas tuplas de R com o mesmo valor de K. Já a segunda, que nenhum subconjunto de K apresenta a propriedade de unicidade.