Параллельное выполнение транзакции.

Фиксация транзакций COMMIT.

Транзакции и целостность БД.

Возможны 2 варианта завершения транзакции. Если все операторы успешно выполнены и в процессе выполнения транзакции не было сбоев АО или ПО, транзакция фиксируется. В противном случае БД не будет изменена. Все изменения данных будут аннулированы.

Это действие, обеспечивающее запись на диск изменений БД, которые были сделаны в ходе выполнения транзакции. До тех пор, пока транзакция не зафиксирована, возможно произвести отмену всех изменений и привести БД в исходное состояние на момент начала транзакции.

В языке SQL определены такие функции, как COMMIT и ROLLBACK. COMMIT означает фиксацию транзакции, а ROLLBACK – ее откат. Язык SQL предполагает, что транзакция начинается с первого SQL-оператора, инициируемого пользователем или содержащегося в программе. Также транзакция может начинаться с любого SQL-оператора., следующего за COMMIT или ROLLBACK. Если же работа была прервана сбоем, то транзакция не фиксируется.

А) Б) В) Г)

Пояснения к рисунку.

1. – транзакция заканчивается принудительно функцией COMMIT, т.е. происходит фиксация изменений в БД.
2. – транзакция заканчивается принудительно функцией ROLLBACK. При этом происходит откат транзакции. Все изменения, внесенные данной транзакцией, аннулируются. БД на диске остается без изменений.
3. – программа завершается без сбоев, что означает фиксацию транзакции. Т.е. все изменения заносятся в БД.
4. – программа прервана из-за сбоя. Откат транзакции, БД не изменяется. Все выполненные в рамках транзакции изменения потеряны.

Существуют 2 типа ограничений целостности: немедленно проверяемые и откладываемые.

К немедленно проверяемым относятся относятся такие, которые бессмысленны и невозможно откладывать. Например, возраст <150 лет. Эти ограничения относятся к отдельным операторам языка. При их нарушении производится не откат транзакции, а лишь невыполнение данного оператора.

Откладываемые ограничения – это ограничения на саму БД. Они проверяются в конце транзакции. В случае их нарушения COMMIT автоматически заменяется на ROLLBACK.

Возможности отката и фиксации транзакции обеспечиваются благодаря журнализации - ведению журнала транзакции (см. далее).

В том случае если с БД одновременно работают несколько пользователей, СУБД должна не только корректно выполнить индивидуальные транзакции и восстанавливать согласованное состояние БД, но и обеспечивать корректную параллельную работу всех пользователей над одними и теми же данными.

Исходя из теории, все транзакции должны обладать свойствами изолированности, т.е. работать так, как если бы с БД работал только один пользователь. При этом возникают следующие проблемы:

1. Пропавшие изменения.

Предположим, на складе есть 40 мониторов. 2 оператора одновременно работают с клиентами. Первый получил заказ на 30 мониторов. Он выставляет счет на 30 мониторов и оформляет покупку. При этом обновляется запись о количестве товаров на складе и остается 10 штук. В это же время второй оператор оформляет покупку на 20 мониторов. Т.к. на момент его запроса первая покупка еще не была оформлена, то он также оформляет покупку. Таким образом, продается 50 мониторов вместо реально существующих 40. БД находится в несогласованном состоянии.

2. Проблема промежуточных данных.

3. Проблемы несогласованных данных.

4. Проблема строк-призраков.

Предположим, что надо приготовить 2 отчета за организованный период – стандартный и расширенный. В то время, как формируется для печати первый отчет, оператор получает еще один заказ, укладывающийся в данный период. Во втором отчете новая покупка будет зафиксирована, а в первом нет.

===============================================================