申論 5回答下列問題：㈠兩階段鎖定法（Two-phase locking protocol）是保證交易處理可序性（Serializability）的充分條件（sufficient condition），還是必要條件（necessary condition）？為什麼？（10 分）㈡某銀行電腦系統於某日突然大當機。約數小時之後維修人員向總經理報告說『因為系統有軟體瑕疵（software bugs），以致於當機後在主記憶體（main memory）的資料都已喪失。為了重建當時主記憶體的資料，因此花了幾個小時』。依據你的專業判斷，所謂“重建當時主記憶體的資料”，指的是作了那些主要的動作，說明之。（10 分）