【说明】
某超市销售系统的部分关系模式如下
商品表：Commodity（Ccode，Cname，price，qty），其中属性含义分别为：商品编号、商品名称、价格、库存量，有专门的事务保证库存量足够大，销售时无需检测。
销售表：Sale（Sno，Ccode，amount，Stime），其中属性含义分别为：销售编号，商品编号、数量、时间。
其销售业务规则如下：顾客在超市挑选好商品后，带商品到结算处结算付款，结算处有多名结算员使用多台机器进行结算。结算员负责扫顾客购买商品的条码和数量，由系统后台结算程序计算出顾客购买商品的总金额，修改商品表的商品库存量，并将销售信息写入销售表。
请根据上述描述，回答以下问题。

问题：5.1（3分）
假设有两个顾客同时购买同一条码的商品，结算事务修改该商品的库存量（记为数据项X）部分的调度如图5-1所示。

如果购买前X的初值为10，则上述调度执行完成后，X的值是多少？属于哪一类不一致性？

问题：5.2（6分）
引入独占锁指令Xlock()和解锁指令Unlock()，对【问题1】中的调度进行重写，要求满足两段锁协议，且事务T1、T2首条指令的相对请求时间与【问题1】中的相同。

问题：5.3（6分）
下面是用SQL实现的结算程序，请补全空缺处的代码。
要求在保证销售信息不丢失的前提下，达到最大的系统并发度。
CREATEPROCEDUREbuy(IN:CommNoVARCHAR(20),IN:AmountBuyINT)
BEGIN
//输入合法性验证
if(:AmountBuy<1)return-1；
SETTRANSACTIONISOLATIONLEVEL(a);
BEGINTRANSACTION;
//插入销售记录
INSERTINTOSale
VALUES(getGUID(),:CommNo,AmountBuy,getDATETIME());
//函数getGUID()：获取唯一值
//函数getDATETIME()：获取当前系统日期时间
iferror∥error是由DBMS提供的上一句SQL的执行状态
BEGN
ROLLBACK;return-2;
END
//修改库存数量
UPDATECommodity
SETqty=(b)
WHERECcode=:CommNo;
iferror
BEGIN
ROLLBACK;return-3;
END
(c)
END