试题五(共15 分) 阅读下列说明,回答问题1至问题3,将解答填入答题纸的对应栏内。 【说明】 某航空售票系统负责所有本地起飞航班的机票销售,并设有多个机票销售网点。各售票网点使用相同的售票程序。假设售票用到的伪指令如下表5-1所示: 假设某售票网点一次售出a张航班A 的机票,则售票程序的伪指令序列为: R (A, x); W (A, x – a)。根据上述业务及规则,完成下列问题: 【问题1】(5 分) 若两个售票网点同时销售航班A的机票,在数据库服务器端可能出现如下的调度: 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个销售网点的读写操作,其余类同。 假设当前航班 A 剩余 10 张机票,分析上述三个调度各自执行的剩余票数,并指出错误的调度及产生错误的原因。 【问题2】(6 分) (1)判定事务并发执行正确性的准则是什么?如何保证并发事务正确地执行? (2) 引入相应的加解锁指令,重写售票程序的伪指令序列,以保证正确的并发调度。 【问题3】(4 分) 下面是用E-SQL实现的机票销售程序的一部分,请补全空缺处的代码。 EXEC SQL SET TRANSACTION ISOLATION LEVEL SERIALIZABLE EXEC SQL SELECT balance INTO :x FROM tickets WHERE flight = ‘A’ ; printf('航班A 当前剩余机票数为:%d/n请输入购票数:', x ); scanf('%d', &a); x = x – a ; if (x<0) EXEC SQL ROLLBACK WORK; printf('票数不够,购票失败!'); else{ EXEC SQL UPDATE tickets SET (a) ; if (SQLCA.sqlcode $amp; EXEC SQL ROLLBACK WORK; else (b) ; }