Шкляев, Д. А. (ведущий программист). Формальная верификация понятий отказоустойчивости для распределенных баз данных [Текст] / Д. А. Шкляев> // Информационные технологии. - 2011. - N 2. - С. 46-53. . - Библиогр.: с. 53 (6 назв. )
Рубрики: Вычислительная техника Системы управления базами данных (СУБД) Кл.слова (ненормированные): базы данных -- протоколы контроля параллелизма -- протоколы восстановления -- отказоустойчивость -- формальная спецификация -- автоматизированная верификация -- методы обработки транзакций Аннотация: Рассматриваются формальная спецификация и автоматизированная верификация систем обработки транзакций, используемых в распределенных базах данных. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |