Este documento explica el concepto de dependencias funcionales (DF), las cuales son fundamentales para la normalización de bases de datos. Indican una dependencia entre valores de atributos dentro de una relación. Por ejemplo, el número de préstamo podría determinar funcionalmente el saldo de un préstamo. El documento también cubre temas como las DF triviales, implícitas y el cierre de un conjunto de DF, el cual incluye todas las DF lógicamente implicadas.