Рассмотрена реализация проверки выводимости зависимостей соединения и функциональных зависимостей с использованием табло, применяющегося для проверки правильности построения логической структуры базы данных. Целевой аудиторией разработанного алгоритма являются компании, работающие с базами данных, консалтинговые фирмы, обслуживающие базы данных, ВУЗы для изучения основ теории реляционных баз данных.