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.
- Se X → Y e Y → Z então X → Z.
- Se X → Y então XW → ZW.
- 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:
