Uma dependência funcional é uma restrição entre dois conjuntos de entidades do banco de dados.

Um esquema de relação é composto de um nome de relação e de uma lista de entidades.

Uma relação do esquema de relação é um conjunto de n-tuplas, cada uma sendo uma lista de n valores. Nesse entendimento, uma tupla pode ser considerada um conjunto de pares .

Diz-se que uma relação está na terceira forma normal se satisfizer a 2FN e se nenhuma entidade não primária for transitivamente dependente da chave primária.