Se e somente se um conjunto de atributos de uma tabela, num determinado momento, possuir ambas as propriedades de unicidade e irredutibilidade, segundo Date, tratase de uma