Одной из основных проблем в теории зависимостей в базах данных является установление принадлежности некоторой зависимости замыканию семантически осмысленного семейства зависимостей, называемая проблемой членства (принадлежности). 

В случае, когда зависимости задаются хорновскими формулами (сюда относятся функциональные, многозначные и другие хорошо изученные типы зависимостей), эффективное решение проблемы принадлежности обеспечивается методом прогонки, подробно описанным в литературе. 

Использование хорновских формул связывает указанную проблему с логическим программированием. 

Доклад посвящен обсуждению этой связи.