1. Sobre dependência funcional em bancos de dados:

I. É uma restrição entre dois conjuntos de atributos no banco de dados.

II. É uma ferramenta formal para análise de projetos de bancos de dados.

III. É uma propriedade sintática.

IV. Quando há uma dependência funcional de X para Y, também podemos dizer que X é funcionalmente dependente de Y.

Apenas a afirmação IV está correta.