Топологические методы в проектировании системы синхронизации конкурирующих транзакций распределённой базы данных

Предлагается особый метод выделения объектов на основе топологического анализа внутренней структуры хранимых данных. Понятие функциональной зависимости обобщается до отношения обусловленности, которое используется далее для определения необходимости синхронизации конкурирующих процессов при доступе к данным в распределённой среде. В формализованной таким образом модели управление транзакциями существенно упрощается.