Теория зависимостей — это подраздел теории баз данных , который изучает проблемы импликации и оптимизации, связанные с логическими ограничениями, обычно называемыми зависимостями, в базах данных . Наиболее известным классом таких зависимостей являются функциональные зависимости , которые формируют основу ключей в отношениях баз данных . Другим важным классом зависимостей являются многозначные зависимости . Ключевым алгоритмом в теории зависимостей является погоня , и большая часть теории посвящена ее изучению.
Некоторые признанные типы зависимостей: