8.15. Вимоги до транзакцій.

Вимоги: 1) атомарність (atomic) – для навколишнього світу транзакція неподільна. Ця властивість гарантує, що всяка транзакція або повністю виконується, або повністю не виконується, причому якщо вона виконується, то виконується як одна неподільна одночасна операція. Поки транзакція перебуває в процесі виконання, інші процеси (незалежно від того, залучені вони в транзакцію чи ні) не можуть спостерігати яких-небудь проміжних станів. 2) несуперечливість (consistent) – транзакція не порушує інваріантів системи. Це значить, що якщо в системи до початку транзакції були якісь інваріанти, які вона постійно повинна зберігати, вони будуть зберігатися й після її завершення. 3) ізольованість (isolated) – одночасно, що відбуваються транзакції, не впливають одна на одну; якщо дві або більше транзакції відбуваються одночасно, для кожної з них і для інших процесів підсумковий результат виглядає так само, як якби всі транзакції виконувалися послідовно в якомусь (що залежить від системи) порядку. 4) довговічність (durable) – після завершення транзакції внесені нею зміни стають постійними. Ця властивість відбиває той факт, що після завершення транзакцій наступні дії не мають ніякого значення, транзакція закінчена, її результати незмінні. Ніякі збої після завершення транзакції не можуть привести до скасування результатів транзакції або їхній втраті. На ці вимоги часто посилаються по їхніх перших буквах – ACID. Кожна транзакція має починатися при цілісному стані БД. Такий же стан має залишатись і після неї. Невиконання цього призводить до відкату, тобто база даних повертається в початковий стан при якому починалась виконуватись транзакція.