Информационные системы и технологии УДК 681.3.06 А.И. БАРАНЧИКОВ, И.В. ДРОЖЖИН ПРОВЕРКА СТРУКТУРЫ БАЗЫ ДАННЫХ НА ПРАВИЛЬНОСТЬ ЛОГИЧЕСКОГО ПОСТРОЕНИЯ С ИСПОЛЬЗОВАНИЕМ ТАБЛО Рассмотрена реализация проверки выводимости зависимостей соединения и функциональных зависимостей с использованием табло, применяющегося для проверки правильности построения логической структуры базы данных. <...> Целевой аудиторией разработанного алгоритма являются компании, работающие с базами данных, консалтинговые фирмы, обслуживающие базы данных, ВУЗы для изучения основ теории реляционных баз данных. <...> Ввиду отсутствия подобных программных средств на рынке, использующих алгоритмы проверки с помощью табло в качестве основного инструмента проверки структуры баз данных, алгоритм является принципиально новым. <...> ВВЕДЕНИЕ Цель работы алгоритма – добиться успешной проверки правильной представимости отношений из множества ограничений С своими проекциями на схемы отношений некоторой базы данных R. <...> В рамках реляционных подходов в настоящее время в теории реляционных баз данных остро стоит вопрос проверки правильности логической структуры схем. <...> Правильно построенная база данных имеет следующие преимущества: 1. <...> Задача проверки правильности логической структуры до сих пор остаѐтся открытой. <...> ТЕОРЕТИЧЕСКИЕ ИССЛЕДОВАНИЯ В настоящее время существует несколько вариантов отслеживания правильности построения баз данных. <...> Обычно на выходе таких программных решений пользователь получает информацию в виде ER-диаграмм, после чего ему необходимо аналитически проверять правильность структуры. <...> В случаях со сложными базами данных эта задача становится трудноразрешимой. <...> Проверка базы данных без использования табло также возможна путем ее декомпозиции и поиска потерь. <...> Для декомпозиции необходимо иметь полную информацию о схеме базы, в частности, все атрибуты и связи между ними, а также о зависимостях, имеющихся в ней. <...> Процесс обработки <...>