驗證階段也稱為樂觀並行控制技術。 在基於驗證的協定中，事務在以下三個階段中執行：
- 讀階段 ：在此階段，讀取並執行事務T。它用於讀取各種資料項的值並將它們儲存在臨時區域性變數中。 它可以對臨時變數執行所有寫操作，而無需更新實際資料庫。
- 驗證階段 ：在此階段，將根據實際資料驗證臨時變數值，以檢視它是否違反了可序列性。
- 寫入階段 ：如果驗證了事務的驗證，則將臨時結果寫入資料庫或系統，否則將回滾事務。
這裡每個階段都有以下不同的時間戳：
開始(Ti)：它包含Ti開始執行的時間。
驗證(Ti)：它包含Ti完成其讀取階段並開始其驗證階段的時間。
完成(Ti)：它包含Ti完成寫入階段的時間。
- 此協定用於使用驗證階段的時間戳確定事務序列化的時間戳，因為它是確定事務是提交還是回滾的實際階段。
- 因此TS(T)= 驗證(T)。
- 可驗證性在驗證過程中確定，它不能提前決定。
- 在執行事務時，它確保更大程度的並行性以及更少的衝突。
- 因此，它包含具有較少回滾次數的事務。