Abstract: Корректное проектирование базы данных в последнее время становится все более актуальной проблемой. Это обусловлено развитием многофункциональных информационных систем, связывающих различные аспекты человеческой деятельности. Центральным компонентом таких си-стем является база данных, в которой должен быть реализован принцип независимости данных: структура данных не должна зависеть ни от способа хранения данных, ни от способа их использования. Для этого в основу структуры базы данных закладываются зависимости данных: функциональные, многозначные, соединения и включения. При этом проект в целом должен сохранять и реализовывать зависимости, удовлетворять свойству соединения без потерь информации. Последнее свойство особенно актуально в системах автоматической генерации запросов. В настоящее время средства искусственного интеллекта достаточно хорошо умеют анализировать структуру и семантику данных, формулировать запросы к базе данных. Проблема заключается в том, что не все теоретические аспекты проектирования баз данных, влияющие на качество проекта, имеют удовлетворительное решение. В частности, ни при ручном, ни при автоматическом проектировании не учитываются ограничения на области определения зависимостей. В результате иска-жается семантика запросов, появляется избыточность в данных. Исследователи давно обратили внимание на различие семантики неопределенных данных. Есть данные, значение которых пока не известно, а есть данные, у которых точно нет значения для какого-либо класса объектов. В данной статье используется способ решения этой проблемы за счет областей определения зависимостей. В результате отсутствующие значения перестают быть компонентами базы данных. В этой статье проведено исследование свойства соединения без потерь информации, основанное на областях определения функциональных зависимостей. Предложен новый подход к способу проверки этого свойства, доказана корректность данного подхода, рассмотрен пример, демонстрирующий преимущество данного подхода по сравнению с классической теорией.

Cite: Зыкин С.В.
Анализ декомпозиции на основе областей определения зависимостей
Прикладная математика и фундаментальная информатика 18-23 мая 2026