Введение в системы управления базами данных




Теорема Есварана о сериализуемости...


:
  1. Перед выполнение каких-либо операций с некоторым объектом, транзакция должна заблокировать этот объект.
  2. После снятия блокировки, транзакция не должна накладывать никаких других блокировок.

Транзакции, используемые в этом протоколе, не различаются по типам и считаются монопольными. Описанные выше протоколы доступа к данным с использованием S- и X-блокировок и протокол преднамеренных блокировок являются модификациями протокола двухфазной блокировки для случая, когда блокировки имеют различные типы.

Есвараном сформулирована следующая теорема:









Начало  Назад  Вперед



Книжный магазин