La teoría de la dependencia es un subcampo de la teoría de bases de datos que estudia los problemas de implicación y optimización relacionados con las restricciones lógicas, comúnmente llamadas dependencias, en las bases de datos . La clase más conocida de tales dependencias son las dependencias funcionales , que forman la base de las claves en las relaciones de bases de datos . Otra clase importante de dependencias son las dependencias multivaluadas . Un algoritmo clave en la teoría de la dependencia es el chase , y gran parte de la teoría está dedicada a su estudio.
Algunos tipos de dependencia reconocidos son: