Протокол управления параллельным доступом в мобильной системе доступа к данным, включающей базы данных, использующие критерий SNAPSHOT-изоляции

Авторы

Храмов А. А., Аникин Н. А.

Московский авиационный институт (национальный исследовательский университет), 125993, г. Москва, Волоколамское шоссе, д. 4

Аннотация

Рассматриваются вопросы управления параллельным доступом (concurrency control) в мобильной системе доступа к данным (МСДД) распределенной гетерогенной базе данных, клиенты которой работают в мобильной среде. На основе предложенной ранее формальной модели системы предлагается протокол управления параллельным доступом для МСДД, включающей реляционные системы управления базами данных (СУБД), обеспечивающие локальную сериализуемость транзакций, и СУБД, использующие Snapshot-изоляцию как критерий правильности параллельного выполнения транзакций.Рассматриваются возможности применения результатов исследования упомянутых вопросов в аэрокосмической отрасли.

Ключевые слова:

СУБД, распределенная гетерогенная база данных, мобильная среда, мобильная транзакция, мобильная система доступа к данным, протокол управления параллельным доступом, сериализуемость транзакций, snapshot-изоляция.