Метод оптимистической репликации применяется в системах с разделяемым состоянием и требует процедуры слияния реплик для восстановления согласованности между ними. Из-за невозможности гарантировать общий прогресс асинхронной реконсиляции была развита теория бесконфликтных реплицируемых типов (CRDT), однако встроенные стратегии разрешения конфликтов ограничивают применимость этих структур данных в системах со сложной моделью данных и семантически значимыми конфликтами. В работе предлагается метод синхронизации композитных объектов со слабой ссылочной целостностью, поддерживающий эволюцию схем и алгебраические ограничения, где для выявления и разрешения конфликта используется эпистемическая модель конфликта.

Семенов Г.В. (науч. рук. Аксенов В.Е.) Метод синхронизации композитных объектов с динамической схемой и поддержкой семантических конфликтов // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2026]. URL: https://kmu.itmo.ru/digests/article/17285