Диссертация на соискание ученой степени кандидата
физико-математических наук.
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
- М.: Институт системного программирования РАН, 2006. – 166 с. Содержание:
Управление транзакциями и технологии XML
Обзор методов управления транзакциями в СУБД.
Методы обеспечения изоляции параллельных транзакций.
Методы обеспечения атомарности и надежности транзакций.
Платформа XML.
Расширяемый язык разметки - XML.
Язык запросов XQuery.
Язык модификаций XUpdate.
XML-ориентированные СУБД.
РСУБД с поддержкой XML.
Прирожденные XML-СУБД.
Существующие методы управления параллельными XML-транзакциями.
XML-транзакции в реляционных СУБД.
Блокировки в РСУБД для XML-документов при использовании отображения XML-документов на отношения.
Блокировки в РСУБД для XML-документов при использовании типа XML или метода STORED.
XML-транзакции в прирожденных XML-СУБД.
Основные приложения XML-СУБД.
Обзор родственных работ по изоляции XML-транзакций.
Протокол изоляции XML-транзакций XDGL.
Основные определения и обозначения.
Семантические особенности языков XQuery/XUpdate.
Путевые выражения.
Запросы на XQuery.
Операция вставки новых узлов.
Операция удаления узлов.
Операция переименования узлов.
XDGL-блокировки.
Структурные блокировки.
Предикатные блокировки.
Логические блокировки.
XDGL-планировщик.
Обоснование корректности протокола XDGL.
Дополнительные оптимизации в XDGL.
Примеры использования протокола XDGL.
Управление XML-транзакциями в реляционных СУБД.
Многоуровневые модели транзакций и их применение для управления XML-транзакциями в РСУБД.
Применение XDGL для изоляции транзакций в РСУБД.
Поддержка описывающей схемы в SXTM.
Атомарность XML-транзакций в двухуровневой модели.
Индивидуальные откаты транзакций и восстановление базы данных после сбоев.
Повышение параллелизма внутри XML-транзакций.
Экспериментальная оценка семантического менеджера управления XML-транзакциями.
Экспериментальная установка.
Эксперимент 1: накладные расходы.
Эксперимент 2: пропускная способность.
Эксперимент 3: время отклика.
Эксперимент 4: время отклика транзакций при использовании параллелизма внутри транзакций.
Управление транзакциями в прирожденных XML-СУБД.
Требования к управлению транзакциями в прирожденных XML-СУБД.
Снимки базы данных и их применение для изоляции читающих и изменяющих транзакций.
Продвижение снимков.
Отображение логических версий на физические версии.
Адресация версий и идентификация страниц из снимков базы данных.
Изоляция Tw транзакций.
Изоляция Tw транзакций на уровне блоков.
Изоляция Tw транзакций на основе протокола XDGL.
Метод восстановления транзакций после мягких сбоев в системе.
Физический журнал.
Логический журнал.
Контрольные точки базы данных.
Индивидуальный откат транзакции.
Восстановление базы данных после сбоя.
Экспериментальная оценка методов управления XML-транзакциями.
Эксперимент 1: пропускная способность.
Эксперимент 2: время отклика.
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
- М.: Институт системного программирования РАН, 2006. – 166 с. Содержание:
Управление транзакциями и технологии XML
Обзор методов управления транзакциями в СУБД.
Методы обеспечения изоляции параллельных транзакций.
Методы обеспечения атомарности и надежности транзакций.
Платформа XML.
Расширяемый язык разметки - XML.
Язык запросов XQuery.
Язык модификаций XUpdate.
XML-ориентированные СУБД.
РСУБД с поддержкой XML.
Прирожденные XML-СУБД.
Существующие методы управления параллельными XML-транзакциями.
XML-транзакции в реляционных СУБД.
Блокировки в РСУБД для XML-документов при использовании отображения XML-документов на отношения.
Блокировки в РСУБД для XML-документов при использовании типа XML или метода STORED.
XML-транзакции в прирожденных XML-СУБД.
Основные приложения XML-СУБД.
Обзор родственных работ по изоляции XML-транзакций.
Протокол изоляции XML-транзакций XDGL.
Основные определения и обозначения.
Семантические особенности языков XQuery/XUpdate.
Путевые выражения.
Запросы на XQuery.
Операция вставки новых узлов.
Операция удаления узлов.
Операция переименования узлов.
XDGL-блокировки.
Структурные блокировки.
Предикатные блокировки.
Логические блокировки.
XDGL-планировщик.
Обоснование корректности протокола XDGL.
Дополнительные оптимизации в XDGL.
Примеры использования протокола XDGL.
Управление XML-транзакциями в реляционных СУБД.
Многоуровневые модели транзакций и их применение для управления XML-транзакциями в РСУБД.
Применение XDGL для изоляции транзакций в РСУБД.
Поддержка описывающей схемы в SXTM.
Атомарность XML-транзакций в двухуровневой модели.
Индивидуальные откаты транзакций и восстановление базы данных после сбоев.
Повышение параллелизма внутри XML-транзакций.
Экспериментальная оценка семантического менеджера управления XML-транзакциями.
Экспериментальная установка.
Эксперимент 1: накладные расходы.
Эксперимент 2: пропускная способность.
Эксперимент 3: время отклика.
Эксперимент 4: время отклика транзакций при использовании параллелизма внутри транзакций.
Управление транзакциями в прирожденных XML-СУБД.
Требования к управлению транзакциями в прирожденных XML-СУБД.
Снимки базы данных и их применение для изоляции читающих и изменяющих транзакций.
Продвижение снимков.
Отображение логических версий на физические версии.
Адресация версий и идентификация страниц из снимков базы данных.
Изоляция Tw транзакций.
Изоляция Tw транзакций на уровне блоков.
Изоляция Tw транзакций на основе протокола XDGL.
Метод восстановления транзакций после мягких сбоев в системе.
Физический журнал.
Логический журнал.
Контрольные точки базы данных.
Индивидуальный откат транзакции.
Восстановление базы данных после сбоя.
Экспериментальная оценка методов управления XML-транзакциями.
Эксперимент 1: пропускная способность.
Эксперимент 2: время отклика.