Questão número 291961

Se expressarmos a dependência funcional entre dois atributos de um Banco de Dados da forma X → Y , então como pode ser expressa a regra de inferência denominada regra de transitividade?

• A. Se X → Y e X → Z, então X → YZ.
• B.

  Se X é um conjunto de atributos e Y Í  X, então X → Y. 

• C. Se X → YZ, então X → Y e Y → Z.
• D. Se X → Y e Y → Z, então X → Z.
• E. Se X → Y, então Y → X.