Em todos os comandos, supõe-se que NULL é tratado como um valor desconhecido (unkown).

Tomando por base apenas as instâncias das tabelas do banco de dados EXEMPLO, anteriormente especificado, é possível confirmar a existência da dependência funcional