Научно-технический журнал МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ И АВТОМАТИЗИРОВАННЫХ СИСТЕМ УДК 681.3 О.В. КОНЮХОВА, А.А. МИТИН ПРОГРАММНАЯ РЕАЛИЗАЦИЯ АЛГОРИТМОВ ПРОВЕРКИ ДЕКОМПОЗИЦИИ НА СОЕДИНЕНИЕ БЕЗ ПОТЕРЬ И НА СОХРАНЕНИЕ ЗАВИСИМОСТЕЙ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ HASKELL В статье рассматривается один из возможных вариантов программной реализации алгоритма проверки декомпозиции на соединение без потерь и алгоритма проверки декомпозиции на сохранение зависимостей. <...> Ключевые слова: отношение; декомпозиция отношений; алгоритм проверки декомпозиции на соединение без потерь; алгоритм проверки декомпозиции на сохранение зависимостей; программная реализация на языке функционального программирования Haskell. <...> Частично данную проблему позволяет решить процедура нормализации схем отношений, в частности, первая, вторая, третья нормальные формы (соответственно, 1НФ, 2НФ, 3НФ), использующие формальное понятие функциональной зависимости (ФЗ) [1-4]. <...> Во избежание в процессе разбиения отношений потерь кортежей применяемая декомпозиция должна обладать свойством соединения без потерь, когда исходное отношение может быть восстановлено из его проекций. <...> Кроме того, полезно знать, сохраняет ли используемая декомпозиция зависимости – ограничения, связанные с семантикой атрибутов отношения. <...> В дальнейшем на основе полученных сведений (в случае потери зависимостей) может быть принято решение о реализации соответствующих ограничений на другом программном уровне, например, в виде триггеров или хранимых процедур. <...> Для проверки декомпозиции отношений на соблюдение указанных выше свойств существуют два алгоритма: алгоритм проверки декомпозиции на соединение без потерь и алгоритм проверки декомпозиции на сохранение зависимостей, которые детально описаны в [1-4]. <...> Увеличение размерности исходных отношений, количества вариантов проекций, количества зависимостей сильно <...>