數據庫原理 - 序列3 - 事務是如何實現的？ - Redo Log解析

6.5 事務實現原理之1：Redo Log 介紹事務怎麼用後，下面探討事務的實現原理。事務有ACID四個核心屬性： A：原子性。事務要麼不執行，要麼徹底執行。若是執行到一半，宕機重啓，已執行的一半要回滾回去。 C：一致性。各類約束條件，好比主鍵不能爲空、參照完整性等。 I：隔離性。隔離性和併發性密切相關，由於若是事務全是串行的（第四個隔離級別），也不須要隔離。 D：持久性。這個很容易理解，一旦事務

>>阅读原文<<