一筆交易的完成邊界
一筆訂單，怎麼避免只成功一半
你在線上買到最後一件商品，按下付款後，畫面要同時完成幾件事：庫存少一件、系統建立一張訂單、付款紀錄被寫下來。只要其中一件先成功、另一件在半途失敗，商店就可能出現最糟的狀況：商品已不見，卻沒有訂單；或付款已記下，訂單卻找不到。
直接答案：資料庫不是真的把所有動作塞進同一瞬間；它把彼此相依的寫入圈成一筆交易，讓整組要嘛成立、要嘛作廢。
01／先看一張半成品收據
三件工作，不能各自宣布成功
假設這間商店的訂單只有三筆改動。第一筆把庫存從 1 改成 0；第二筆新增訂單編號；第三筆把付款狀態記為已收款。若系統把它們當成三個互不相干的動作，第二筆出錯時，第一筆可能已經留下，第三筆卻還沒開始。
資料庫處理這種問題的做法，不是把所有動作真的在同一瞬間完成。它把彼此相依的寫入圈成一筆「交易」：要嘛整組成立，要嘛整組作廢。這就是為什麼一個看似普通的付款按鈕，背後需要一條很清楚的完成邊界。
這裡的重點不是「畫面先不要更新」。畫面可以顯示處理中；真正重要的是資料層有沒有把相依的結果綁在一起。
- 01庫存：最後一件商品要由 1 變成 0。
- 02訂單：這次購買需要有能被查找的編號。
- 03付款紀錄：系統要知道這張訂單是否已收款。
02／讓三筆改動待在同一張收據
確認前，別把半張收據交出去
交易的意思，是先把這三件事放進同一張暫存的收據。資料庫仍會一步一步處理它們，但在還沒有確認以前，這組工作不該被當成完成的結果。PostgreSQL 的官方文件用轉帳來說明同一件事：中間的狀態不應讓其他同時工作的交易看見；若整件事無法完成，先前的步驟也不該對資料庫留下效果。
暫存：三筆新值都被放進同一筆交易；其他讀取者不該把它當成已完成的訂單。
03／保留一條回頭路
確認前，先保留回頭的路
資料庫不必靠神奇的瞬間完成來做到這件事。以 SQLite 的 rollback journal 模式為例，系統會在改動資料庫頁面前，先把將被改動的舊內容寫到另一份回復記錄。這份記錄的工作，是在程序當掉或突然斷電後，讓資料庫知道怎麼回到開始前的樣子。
這不表示每一種資料庫都用同一份檔案、同一套步驟。SQLite 在不同的 journal 模式有不同做法，其他資料庫也有自己的實作。但它讓一件常被誤解的事變得清楚：交易的「一起」是一個對外可判斷的結果，不是硬碟裡所有位元在同一奈秒移動。
先記下舊內容
將可能改動的舊資料放進回復記錄，讓開始前的樣子有地方可找。
再更新資料庫頁面
系統可以逐步工作；讀者不需要假設所有儲存動作真的同時發生。
重啟後判斷保留或回復
若交易在完成前中斷，回復記錄協助系統回到原帳；完成後，新值才保留為結果。
04／封條不是萬能撤銷鍵
交易不是萬能的撤銷鍵
當系統執行 commit，它是在說：這一組資料庫改動現在是一個完整結果。PostgreSQL 的文件指出，開放中的交易所做的中間改動不會對其他交易可見；完成時，這些改動才以一個單位出現。於是看庫存的人不必猜測「這個 0 是有人買走了，還是系統做到一半」。
如果系統在確認前發現資料不對、空間不夠或遇到其他不能繼續的錯誤，它可以 rollback。這不是把時間倒轉，而是依照一開始留下的邊界，讓這組尚未成立的改動不再算進結果。互動圖裡的三個狀態正是同一條邊界的三種讀法：暫存、撤回、確認。
- 庫存、訂單、付款紀錄可放進同一筆資料庫交易
- 已寄出的電子郵件需要另設補償或重試
- 已通知的倉庫需要另設補償或重試
- 外部金流服務的結果需要另設對帳或修正
一張完整收據，不是把世界倒帶，而是先說清楚哪一些結果必須一起成立。
這條邊界也有盡頭。資料庫交易能保護被放進同一筆交易的資料庫改動；已寄出的電子郵件、已通知的倉庫、已送到外部金流服務的請求，並不會因為本地資料庫 rollback 而自動收回。這是從交易的作用範圍推得出的工程限制，不是某個資料庫的失敗。
所以成熟的系統還要回答另一個問題：外部世界的動作如果失敗，要如何重試、補償或讓人介入？這比把每個動作都塞進一筆交易更誠實。交易負責避免資料庫內留下半張收據；跨出這個邊界後，系統得另外設計能對帳與修正的路。
下一次看到「付款成功」，可以把它讀成一個更精確的問題：這個成功，到底承諾了哪些一起成立的結果？好的答案不是一個更亮的綠色勾勾，而是庫存、訂單與付款紀錄有共同的完成邊界；出了問題時，系統知道哪些要撤回，哪些必須另行處理。
資料庫交易沒有讓世界真的倒帶。它做的是更務實的事：在事情還能被判斷之前，不讓一半的結果冒充完整的答案。
參考資料
這個邊界從哪裡來
- PostgreSQL Documentation: Transactions：多步驟的全有或全無操作、中間狀態的可見性與 commit／rollback。
- SQLite: Atomic Commit In SQLite：本文所述 SQLite rollback journal 模式的回復記錄與完成判斷順序。
- SQLite: Transaction：BEGIN、COMMIT、ROLLBACK 與讀寫交易的定義。
