Informática — Informática Diversos

Como é chamado o processo formal que examina os atributos de uma entidade, com o objetivo de evitar anomalias (redundâncias e inconsistências) observadas na inclusão, exclusão e alteração de tuplas exclusivas?