Теоритический минимум. Базы данных (1122598), страница 3
Текст из файла (страница 3)
(Две транзакции по очередизаписывают некоторые данные в одну и ту же строку и фиксируютизменения.Транзакция, закончившая работу первой, теряет данные своей работы)2) Проблема незафиксированной зависимости (чтение "грязных" данных,неаккуратное считывание): транзакция 1 меняет данные в строке; транзакция 2считывает данные; транзакция 1 откатывается => 2 считала данные, которых нет вБД3) Проблема несовместимого анализа:I.
Неповторяемое считывание: транзакция 1 читает строку; транзакция 2изменяет ее значение; транзакция 1 повторно читает строку=> транзакция 1работает с данными, которые самопроизвольно меняютсяII. Фиктивные элементы (фантомы): транзакция 1 дважды выполняетвыборку строк с одним и тем же условием;между выборками вклиниваетсятранзакция 2, которая добавляет новую строку, удовлетворяющую условиюотбора=> транзакция 1 на одной и той же выборке получила разныерезультатыIII. Собственно несовместимый анализ.Основные режимы синхронизационных захватов:1) совместный режим - S (Shared), означающий разделяемый захват объекта итребуемый для выполнения операции чтения объекта;2) монопольный режим - X (eXclusive), означающий монопольный захват объекта итребуемый для выполнения операций занесения, удаления и модификации.Этапы выполнения транзакции на основе двухфазового протокола:1) накопление захватов;2) фиксация или откат - освобождение захватов;Гранулированный синхронизационный захват – захват объектов разного уровня.(IS, IX, SIX)899.
Предикатный захват – захват условий, которым удовлетворяют нужные объекты. Решаетпроблему фантомов.100.Граф ожидания транзакций - это ориентированный двудольный граф, в которомсуществует два типа вершин - вершины, соответствующие транзакциям, и вершины,соответствующие объектам захвата.101.Методы сериализации транзакций:1) Синхронизационный захват объектов2) Метод временных меток: если транзакция T1 началась раньше транзакции T2, тосистема обеспечивает такой режим выполнения, как если бы T1 была целикомвыполнена до начала T2.102.Мягкий сбой – потеря данных, которые к моменту сбоя находились в буферахоперативной памяти.103.Жесткий сбой – потеря данных на внешнем носителе.104.Ситуации, требующие восстановления состояния БД:1) Индивидуальный откат транзакции2) Мягкий сбой3) Жесткий сбой105.Варианты ведения журнальной информации:1) Локальный для каждой транзакции и общий2) Только общий106.Виды буферов в контексте БД:1) Буфер журнала2) Буфер страниц ОП107.Физически согласованное состояние внешней памяти БД – состояние, прикотором наборы страниц всех объектов согласованы, т.е.
соотвествуют состоянию объекталибо до его изменения, либо после.108.Точки физической согласованности БД – моменты времени, в которые во внешнейпамяти находятся согласованные результаты операций, завершившихся до этого моментавремени, и отсутсвуют результаты операций, которые еще не завершились, а буфержурнала вытолкнут во внешнюю память.109.Способы установки точек физической согласованности:1) Теневой механизм2) Журнализация постраничного изменения110.
Архитектура модели данных ODMG1) ODL – язык определения данных2) OQL – язык объектных запросов3) OML – язык манипулирования объектами111. Модель ODMG подстраивается под специфику систем баз данных следующимобразом:91) Для баз данных, схем и подсхем обеспечивается набор встроенных объектныхтипов.2) Модель включает ряж встроенных структурных типов, позволяющихприменять традиционные методы моделирования баз данных3) Модель одновременно включает понятия объекты и литералы.4) В модели связи между объектами отличаются от атрибутов объектов(аналогично тому, как это делается в ER-модели)112. Одним из важнейших отличий объектов от значений является наличие у объектауникального идентификатора.
Другим понятием, используемым для различенияобъектов и литералов, является понятие изменчивости.113. Объектные и литеральные типы модели ODMG.1) Литеральные типы – базовые скалярные числовые типы, символьные ибулевские(атомарные литералы), так же конструируемые типы литеральныхзаписей (структур) и коллекций2) Объектный тип состоит из интерфейса и одной или нескольких реализации114. В модель данных ODMG есть два типа механизма наследования:1) Наследование интерфейсов (наследование IS - A)2) Наследование классов (extends)I. «жирные» стрелки – наследование IS – A (интерфейсов)II. нормальные стрелки - наследование extends (классов)115.10.