Resultado de la búsqueda: dependencia funcional logicamente implicada