Considere os axiomas de Armstrong. Admite-se que A, B, C e D são subconjuntos arbitrários do conjunto de atributos de um banco de dados. Quanto ao cálculo do fecho do conjunto de dependências funcionais em um banco de dados, assinale a alternativa que apresenta a sequência correta.

1. Autodeterminação.

2. Decomposição.

3. Composição.

4. União.

( ) A !$ \rightarrow !$ A.

( ) Se A !$ \rightarrow !$ B e A !$ \rightarrow !$ C, então A !$ \rightarrow !$ BC.

( ) Se A !$ \rightarrow !$ B e C !$ \rightarrow !$ D, então AC !$ \rightarrow !$ BD.

( ) Se A !$ \rightarrow !$ BC, então A !$ \rightarrow !$ B e A !$ \rightarrow !$ C.