Teoria de Normalização

Uma dependência funcional X→Y é uma restrição sobre a relação: tuplas que coincidem em X coincidem em Y. A chave é um conjunto mínimo K com K→R.

Formas normais, junção sem perda e síntese 3FN deste tópico — e a junção natural da álgebra relacional nos tópicos seguintes — partem de X→Y, do fechamento X⁺ e das regras de Armstrong.

As páginas se agrupam em três blocos. O primeiro pergunta o que X determina: fecha atributos, aplica Armstrong e reconhece chave e superchave.

O segundo pergunta se o esquema já passa nos testes de forma: atomicidade, dependência parcial, transitiva, e o atributo primo que separa 3FN de FNBC.

O terceiro pergunta como partir R: a junção natural reconstrói a instância, as dependências se checam em cada pedaço, e a síntese devolve esquemas 3FN.

Decidir se X→Y segue de F — Y ⊆ X⁺ — está em Dependências Funcionais. Decidir se essa X→A viola 2FN, 3FN ou FNBC está em Formas Normais.

Superchave S→R e chave candidata — superchave minimal — estão em Dependências Funcionais. Atributo primo, o que pertence a alguma chave candidata, entra nos testes de 2FN e 3FN em Formas Normais.

Classificar se o esquema já está em 3FN ou FNBC está em Formas Normais. Produzir a decomposição em 3FN, recobrimento mínimo e um esquema XA por dependência, está em Decomposição.

O tableau do Chase — símbolos a e b, uma linha toda de a — está em Decomposição. A dependência multivalorada e o teste de 4FN estão em Formas Normais.