Основные понятия
Диаграмма Венна, показывающая все пересечения букв греческого, русского и латинского алфавитов (буквы заглавные)
В
основе теории множеств лежат первичные
понятия: множество и
отношение быть
элементом множества
(обозначается как 
[3] —
«x есть элемент множества A», «x принадлежит
множеству A»). Среди производных понятий
наиболее важны следующие:
пустое множество, обычно обозначается символом
;подмножество и надмножество;
семейство множеств;
пространство (Универсум);
конституента.
Над множествами определены следующие операции:
объединение (или сумма) (обозначается как
);разность (обозначается как
реже 
);дополнение (обозначается как
или 
);пересечение (или произведение) (обозначается как
);симметрическая разность (обозначается как
реже 
).
Для множеств определены следующие бинарные отношения:
отношение равенства (обозначается как
);отношение включения (обозначается как
).
26.Поняття транзакції, властивості транзакцій.
5.1. Механизм транзакций
Транзакция – это упорядоченная последовательность операторов обработки данных, которая переводит базу данных из одного согласованного состояния в другое. |
Все команды работы с данными выполняются в рамках транзакций. Для каждого сеанса связи с БД в каждый момент времени может существовать единственная транзакция или не быть ни одной транзакции.
Транзакция обладает следующими свойствами:
Логическая неделимость (атомарность, Atomicity) означает, что выполняются либо все операции (команды), входящие в транзакцию, либо ни одной. Система гарантирует невозможность запоминания части изменений, произведённых транзакцией. До тех пор, пока транзакция не завершена, её можно "откатить", т.е. отменить все сделанные командами транзакции изменения. Успешное выполнение транзакции (фиксация) означает, что все команды транзакции проанализированы, интерпретированы как правильные и безошибочно исполнены.
Согласованность (Consistency): транзакция начинается на согласованном множестве данных и после её завершения множество данных согласовано. Состояние БД является согласованным, если данные удовлетворяют всем установленным ограничениям целостности и относятся к одному моменту в состоянии предметной области.
Изолированность (Isolation), т.е. отсутствие влияния транзакций друг на друга. (На самом деле это влияние существует и регламентируется стандартом: см. раздел 5.3. "Уровни изоляции транзакций").
Устойчивость (Durability): результаты завершённой транзакции не могут быть потеряны. Возврат БД в предыдущее состояние может быть дос-тигнут только путём запуска компенсирующей транзакции.
Транзакции, удовлетворяющие этим свойствам, называют ACID-транзакциями (по первым буквам названий свойств).
Для управления транзакциями в системах, поддерживающих механизм транзакций и язык SQL, используются следующие операторы:
фиксация транзакции (запоминание изменений): COMMIT [WORK];
откат транзакции (отмена изменений): ROLLBACK [WORK];
создание точки сохранения: SAVEPOINT <имя_точки_сохранения>;
(Ключевое слово WORK необязательно). Для фиксации или отката транзакции система создаёт неявные точки фиксации и отката (рис. 5.1).
Рис.5.1. Неявные точки фиксации и отката транзакции
По команде rollback система откатит транзакцию на начало (на неявную точку отката), а по команде commit – зафиксирует всё до неявной точки фиксации, которая соответствует последней завершённой команде в транзак-ции. Если в транзакции из нескольких команд во время выполнения очередной команды возникнет ошибка, то система откатит только эту ошибочную команду, т.е. отменит её результаты и сохранит прежнюю неявную точку фиксации.
Для обеспечения целостности транзакции СУБД может откладывать за-пись изменений в БД до момента успешного выполнения всех операций, вхо-дящих в транзакцию, и получения команды подтверждения транзакции (commit). Но чаще используется другой подход: система записывает изменения в БД, не дожидаясь завершения транзакции, а старые значения данных сохраняет на время выполнения транзакции в сегментах отката.