Согласованность (целостность)

Транзакция переводит базу данных из одного согласованного (целостного) состояния в другое, также целостное. В ходе выполнения транзакции база данных может временно пребывать в нецелостном состоянии.

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

Поясним это свойство на примере. Рассмотрим процесс удаления студента из нашей демонстрационной базы данных с перенесением данных о студенте и всех его оценках в архивную базу данных. В предыдущей лекции были рассмотрены триггеры для выполнения переноса в архив всех строк таблицы оценок marks, относящихся к данному студенту и строки с данными о самом студенте. Схематически процесс удаления строки из таблицы students со всеми сопутствующими действиями показан на рис.5.1.

Рис. 5.1 – Процесс удаления строки из таблицы students

Он состоит из четырех команд SQL, выполняемых последовательно, причем все промежуточные состояния базы данных после выполнения отдельных команд являются несогласованными. При возникновении любой внештатной ситуации (допустим, пользователь не имеет привилегий на выполнение какой-либо одной из операций или на архивные таблицы наложены какие-либо дополнительные ограничения) будет автоматически выполнен откат в иходное состояние.

Наконец, после выполнения последнего удаления система снова окажется в согласованном состоянии. Но и в этот момент еще возможен откат в исходное состояние, на этот раз по команде ROLLBACK, которая уже инициируется пользователем, а не сервером. Откат станет невозможным только после выполнения команды фиксации транзакции COMMIT. Любая из этих двух команд тем или иным образом, но завершает транзакцию.