Детальная информация

В работе предложен подход к анализу совместимости параллельных изменений схем PostgreSQL при трехстороннем объединении. Рассмотрены существующие инструменты миграций, средства сравнения схем и исследовательские подходы к эволюции схем баз данных. Разработана графовая модель схемы реляционной базы данных. Таблицы, столбцы, типы данных, ограничения и индексы представлены как объекты, а зависимости между ними – как связи. Сформулированы операции преобразования, инварианты корректности и правила обнаружения семантических конфликтов. Реализован программный прототип на Python. Он выполняет разбор DDL PostgreSQL, построение графовой модели, реконструкцию изменений двух ветвей, проверку правил R1-R7 и формирование отчетов. Экспериментальная оценка показала: прототип выявил 14 из 14 конфликтных сценариев, не дал ложных срабатываний на 6 бесконфликтных сценариях, успешно прошел 90 из 90 тестов. Сравнение с Git показало преимущество разработанного подхода: Git обнаружил 6 из 14 конфликтных сценариев, разработанный прототип – 14 из 14.

The work proposes an approach to analyzing the compatibility of parallel PostgreSQL schema changes during a three-way merge. Existing migration tools, schema comparison tools, and research approaches to database schema evolution are considered. A graph model of a relational database schema is developed. Tables, columns, data types, constraints, and indexes are represented as objects, while dependencies between them are represented as edges. Schema transformation operations, correctness invariants, and semantic conflict detection rules are defined. A software prototype is implemented in Python. It parses PostgreSQL DDL, builds a graph model, reconstructs changes from two branches, checks rules R1–R7, and generates reports. The experimental evaluation showed that the prototype detected 14 out of 14 conflict scenarios, produced no false positives on 6 non-conflict scenarios, and successfully passed 90 out of 90 tests. A comparison with Git showed the advantage of the developed approach: Git detected 6 out of 14 conflict scenarios, while the developed prototype detected 14 out of 14.