Q514956 - FGV - 2016 - COMPESA - Administrador de Banco de Dados

No contexto do projeto de bancos de dados, é possível derivar novas dependências a partir de um conjunto inicial de dependências funcionais, o que é feito por meio da aplicação de axiomas de derivação. Os axiomas que estabelecem essas regras de derivação são

a) se X → Y e Y → Z então X → Z se X contém Y então X → Y se X → Y então XW → YW
b) se X → Y e Y → Z então X → Z se X contém Y então X → Y se X → Y então X → YW
c) se X → Y e W → Y então X → W se X contém Y então Y → X se X → Y então XW → YW
d) se X → Y e Y → Z então X → Z se Y contém X então X → Y se X → YW então Y → XW
e) se X → Y e Z → Y então X → Z se X contém Y então Y → Xse X → Y então XW → YW

Q514956 - FGV - 2016 - COMPESA - Administrador de Banco de Dados

Banco de Dados (TI)