題組內容

⑴兩階段鎖定法（Two-phase locking protocol）是保證交易處理可序性（Serializability） 的充分條件（sufficient condition），還是必要條件（necessary condition）？為什 麼？（10 分）