事務處理期望系統中所有數據有數據狀態一致性 (Consistency)。

• 原子性 (Atomic)：在同一項業務邏輯處理過程中，事務保證對多個數據的修改，同時成功 or 同時被撤消。
• 隔離性 (Isolation)：在不同的業務邏輯處理過程中，事務保重了各自業務正在讀、寫的數據相互獨立，不會被影響。
• 持久性 (Durability)：事務應當保證所有被提交的數據修改都能夠正確地被持久化，不丟失數據。

🔝ACID

當一個server only data resource， A、I、D → 內部一致性

當一個server multi data resource → 外部一致性

本地事務 (Local Transaction) or 局部事務

Algorithms for Recovery and Isolation Exploiting Semantics，ARIES

• Q: 什麼是 Algorithms for Recovery and Isolation Exploiting Semantics，ARIES

實現原子性和持久性