Na teoria do projeto de bancos de dados relacionais, o estabelecimento das dependências funcionais tem um papel importante, pois é a partir dessas relações que é possível proceder à normalização dos bancos. Essas dependências funcionais podem ser manipuladas por meio de um conjunto básico de axiomas.
Com relação aos atributos X, Y, W e Z, analise as seguintes derivações propostas.
I. Se X -> Y e Y -> Z então X -> Z. II. Se X -> Y então XW -> ZW. III. Se Y está contido num conjunto qualquer de atributos, como XYZW, por exemplo, então XYZW -> Y.

Sobre essas derivações, está correto o que é proposto em: