申論 5Tr1 和Tr2 是二個交易（transaction）。某次執行程序（schedule）如下：假設X 和Y在硬碟裡的初始值是X=1000，Y=1000。TimeTransaction Tr1Transaction Tr2t1read Xt2read Yt3X=X－1000t4read Xt5write Xt6Y=X＋1000t7write Y㈠請問按以上執行方式，此執行程序（schedule）是否為serializable？（5 分）㈡如果Tr1 和Tr2 按Two-phase locking protocol 執行，請說明系統會如何進行？（10 分）㈢如果此程序是按time-stamping protocol 執行，且Tr1 在Tr2 之後才進入系統（亦即，TimeStamp(Tr1) > TimeStamp(Tr2))。說明上面程序的執行結果是如何。（10 分）