⑶ suwari 與 modori

二、關聯式資料庫的設計中，多個交易的處理，依序的序列排程（serial schedule）可以保證資料的一致性。然而，不一定各個交易都要依序執行，只要是合法排程序列（serializable schedule），也可以獲得資料的一致性。請解釋何謂合法排程序列？在交易處理的各個命令操作中，存在有關連性之先後執行次序關係。並行處理時，需要考慮這些命令的關連性，以確保交易間不會相互干擾，也就是所謂的區隔性（isolation）。我們一般會以鎖定（lock）與時戳（timestamp）的機制來實作區隔性，請說明資料讀取（read）時，時戳機制下是如何進行的？鎖定機制下又是如何運作的？（20 分）