Seja R um esquema relacional, F o conjunto de DFs que valem em R, X o subconjunto de atributos de R e A um atributo
de R. Considere as seguintes afirmações:
• A ∈ X; isto é, é uma DF trivial, ou
• X é uma superchave, ou
• A é parte de alguma chave para R.
Se, para toda a DF X → A em F, uma dessas afirmações for válida, a forma normal de R será:
• A ∈ X; isto é, é uma DF trivial, ou
• X é uma superchave, ou
• A é parte de alguma chave para R.
Se, para toda a DF X → A em F, uma dessas afirmações for válida, a forma normal de R será:
