em todo o valor válido dessa RelVar, cada tupla contem exatamente um valor para cada atributo.

por todo o tempo, cada tupla consiste em um valor de uma chave primária que identifica alguma entidade, acompanhado por um conjunto de zero ou mais valores de atributos mutuamente independentes que descrevem essa entidade de alguma maneira.

todo atributo não chave é irredutivelmente dependente da chave primária.