///
Suponha a existência dos atributos V, W, X, Y, Z numa tabela de banco de dados relacional, e considere as seguintes assertivas sobre dependências funcionais e seus axiomas.
I. Se W→X e W→Y então X→Y
II. Se X→Y então XW→YW
III. XY→X
IV. Se X→Y e Y→Z e Z→V então X→V
Estão corretas as afirmativas