A teoria de dependências funcionais é utilizada no projeto de bancos de dados. Desta forma, considere uma
relação R e dois subconjuntos arbitrários, X e Y, do conjunto de atributos de R. A notação utilizada para determinar que o subconjunto X determina funcionalmente o
subconjunto Y é: