Quando um esquema de relação R atende à seguinte condição: se toda vez que uma dependência funcional não trivial X ? A se mantiver em R, então X é uma superchave de R, ela se encontra na forma normal denominada