閱讀下列說明，回答問題1至問題3，將解答填入答題紙的對應(yīng)欄內(nèi)。
【說明】
某航空售票系統(tǒng)負責所有本地起飛航班的機票銷售，并設(shè)有多個機票銷售網(wǎng)點。各售票網(wǎng)點使用相同的售票程序。假設(shè)售票程序中用到的偽指令如下表1-1所示：

假設(shè)某售票網(wǎng)點一次售出a張航班A 的機票，則售票程序的偽指令序列為：R(A, x);W(A,x-a)。根據(jù)上述業(yè)務(wù)及規(guī)則，完成下列問題：
【問題1】（5 分）
若兩個售票網(wǎng)點同時銷售航班A的機票，在數(shù)據(jù)庫服務(wù)器端可能出現(xiàn)如下的調(diào)度：
A：R1(A， x)，R2(A， x)，W1(A， x–1)，W2(A， x–2)；
B：R1(A， x)，R2(A， x)，W2(A， x–2)，W1(A， x–1)；
C：R1(A， x)，W1(A， x–1)，R2(A， x），W2(A， x–2)；
其中Ri(A， x)，Wi(A， x)分別表示第i個銷售網(wǎng)點的讀寫操作，其余類同。
假設(shè)當前航班 A 剩余 10 張機票，分析上述三個調(diào)度各自執(zhí)行完后的剩余票數(shù)，并指出錯誤的調(diào)度及產(chǎn)生錯誤的原因。
【問題2】（6 分）
（1）判定事務(wù)并發(fā)執(zhí)行正確性的準則是什么？如何保證并發(fā)事務(wù)正確地執(zhí)行？
（2）引入相應(yīng)的加解鎖指令，重寫售票程序的偽指令序列，以保證正確的并發(fā)調(diào)度。 
【問題3】（4 分）
下面是用E-SQL實現(xiàn)的機票銷售程序的一部分，請補全空缺處的代碼。
EXEC SQL SET TRANSACTION ISOLATION LEVEL SERIALIZABLE
EXEC SQL SELECT balance INTO :x FROM tickets WHERE flight = ’A’ ;
printf("航班A 當前剩余機票數(shù)為：%d\n請輸入購票數(shù)："， x );  
scanf("%d"， &a);
x = x – a ;
if (x<0)  
EXEC SQL ROLLBACK WORK;  
printf("票數(shù)不夠，購票失??！");
else{
EXEC SQL UPDATE tickets SET   （a）  ;
if (SQLCA．sqlcode <> SUCCESS)  
EXEC SQL ROLLBACK WORK;
else
（b）   ;  
}