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 é:
