УДК 004.65
МОДУЛЬНАЯ АРХИТЕКТУРА И ФОРМАЛЬНЫЕ МОДЕЛИ ИНТЕЛЛЕКТУАЛЬНОЙ СУБД КОРПОРАТИВНОЙ ГИС
А Н. Колесенков, д.т.н., профессор кафедры КТ РГРТУ, Рязань, Россия;
orcid.org/0000-0002-6657-4459, e-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Т. И. Кондрашова, аспирант РГРТУ;
orcid.org/0009-0007-3965-0173, e-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Цель работы – повышение эффективности управления пространственными данными корпоративной ГИС за счёт разработки и внедрения интеллектуальных механизмов аудита и контроля актуальности, встроенных непосредственно в СУБД. Задача состояла в том, чтобы устранить зависимость целостности данных от прикладного программного обеспечения и создать автономное ядро обработки геоданных на базе PostgreSQL/PostGIS. В ходе исследования использованы методы реляционной алгебры, теории формальных систем, пространственной индексации и триггерных функций PL/pgSQL. Основные результаты: предложена модульная архитектура СУБД из шести функциональных блоков; разработана формальная модель аудита пространственных изменений, гарантирующая полноту регистрации событий; обоснована модель временных меток и исследованы свойства обновления временных меток. Экспериментально установлено, что применение GiST-индексов ускоряет пространственные запросы до 90 раз, а накладные расходы на полный аудит геометрий не превышают 14 %. Выводы: предложенный подход позволяет реализовать интеллектуальную СУБД ГИС, которая автономно выполняет валидацию и трассировку изменений без снижения производительности ниже критических порогов.
Ключевые слова: геоинформационная система, СУБД, PostgreSQL, PostGIS, аудит данных, пространственный индекс, целостность данных, временные метки.