FK - Implementação da função que valida a chave estrangeira