Теорминимум к экзамену по базам данных (1122643), страница 4
Текст из файла (страница 4)
Если говорить болееточно, инвариант класса – это логическое выражение, вычисление которого должно давать true при создании любогообъекта данного класса и сохранять истинное значение в течение всего времени существования этого объекта.Транзакция (System R) – последовательность операторов языка, неделимая в смысле состояния базы данных.Триггер (System R) – это каталогизированная операция модификации, для которой задано условие ее автоматическоговыполнения.Представление (System R) – это каталогизированный именованный запрос на выборку данных (из одной или несколькихтаблиц).Индексы (System R). Каждый индекс определяется на одном или нескольких полях таблицы, значения которыхсоставляют его ключ, и позволяет производить прямой поиск по ключу кортежей (их tid'ов) и последовательноесканирование таблицы по индексу, начиная с указанного ключа, в порядке возрастания или убывания значений ключа.Некоторые индексы при их создании могут обладать атрибутом уникальности.
В таком индексе не допускаютсядубликаты ключа.Атомарная транзакция – неделимая с точки зрения воздействия на БД последовательность операторовманипулирования данными (чтения, удаления, вставки, модификации), такая, что либо результаты всех операторов,входящих в транзакцию, отображаются в состоянии базы данных, либо воздействие всех этих операторов полностьюотсутствует.Сериальный план выполнения транзакций.Пусть в системе одновременно выполняется некоторое множество транзакций S = {T 1, T2, …, Tn}. План (способ)выполнения набора транзакций S (в котором, вообще говоря, чередуются или реально параллельно выполняютсяоперации разных транзакций) называется сериальным, если результат совместного выполнения транзакцийэквивалентен результату некоторого последовательного выполнения этих же транзакций (Ti1, Ti2, …, Tin).Сериализация транзакций – это механизм их выполнения по некоторому сериальному плану.Граф ожидания транзакций – это ориентированный двудольный граф, в котором существует два типа вершин –вершины, соответствующие транзакциям (будем изображать их прямоугольниками), и вершины, соответствующиеобъектам блокировок (будем изображать их окружностями).
В этом графе дуги соединяют только вершины-транзакции свершинами-объектами. Дуга из вершины-транзакции к вершине-объекту существует в том и только в том случае, еслидля этой транзакции имеется удовлетворенная блокировка данного объекта. Дуга из вершины-объекта к вершинетранзакции существует тогда и только тогда, когда эта транзакция ожидает удовлетворения запроса блокировки данногообъекта.Мягкий сбой – восстановление после внезапной потери содержимого оперативной памяти.Физически согласованное состояние внешней памяти базы данных – такое состояние БД, при котором наборы страницвсех объектов согласованы, т.е.
соответствуют состоянию любого объекта либо после его изменения, либо до изменения.Точки физической согласованности базы данных – моменты времени, в которые во внешней памяти содержатсясогласованные результаты операций, завершившихся до соответствующего момента времени, и отсутствуют результатыопераций, которые не завершились, а буфер журнала вытолкнут во внешнюю память..