Выдержка из книги
Майер Д.N.
Теория реляционных баз данных
Если имеется множество F-зависимостей F и схема базы данных R над U, то модификация вычислений с помощью прогонки позволяет решить, является ли множество R s U R - расшире-нием или нет. Модификация состоит в том, что нельзя применять F-правило для отождествления двух невыделенных переменных, зато можно использовать любую зависимость из F как основу для F-правила.
