第46题
阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。
【说明】
某超市销售系统的部分关系模式如下
商品表： Commodity(Ccode， Cname， price，qty)，其中属性含义分别为：商品编号、商品名称、价格、库存量，有专门的事务保证库存量足够大，销售时无需检测。
销售表： Sale(Sno，Ccode， amount， Stime)，其中属性含义分别为：销售编号，商品编号、数量、时间。
其销售业务规则如下：顾客在超市挑选好商品后，带商品到结算处结算付款，结算处有多名结算员使用多台机器进行结算。结算员负责扫顾客购买商品的条码和数量，由系统后台结算程序计算出顾客购买商品的总金额，修改商品表的商品库存量，并将销售信息写入销售表。
请根据上述描述，回答以下问题。
【说明】
某超市销售系统的部分关系模式如下
商品表： Commodity(Ccode， Cname， price，qty)，其中属性含义分别为：商品编号、商品名称、价格、库存量，有专门的事务保证库存量足够大，销售时无需检测。
销售表： Sale(Sno，Ccode， amount， Stime)，其中属性含义分别为：销售编号，商品编号、数量、时间。
其销售业务规则如下：顾客在超市挑选好商品后，带商品到结算处结算付款，结算处有多名结算员使用多台机器进行结算。结算员负责扫顾客购买商品的条码和数量，由系统后台结算程序计算出顾客购买商品的总金额，修改商品表的商品库存量，并将销售信息写入销售表。
请根据上述描述，回答以下问题。
【问题：5.1】(3分) 假设有两个顾客同时购买同一条码的商品，结算事务修改该商品的库存量(记为数据项X)部分的调度如图5-1所示。 
如果购买前X的初值为10，则上述调度执行完成后，X的值是多少？属于哪一类不一致性？
如果购买前X的初值为10，则上述调度执行完成后，X的值是多少？属于哪一类不一致性？【问题：5.2】(6分)
引入独占锁指令 Xlock()和解锁指令 Unlock()，对【问题1】中的调度进行重写，要求满足两段锁协议，且事务T1、T2首条指令的相对请求时间与【问题1】中的相同。
引入独占锁指令 Xlock()和解锁指令 Unlock()，对【问题1】中的调度进行重写，要求满足两段锁协议，且事务T1、T2首条指令的相对请求时间与【问题1】中的相同。
【问题：5.3】(6分)
下面是用SQL实现的结算程序，请补全空缺处的代码。
要求在保证销售信息不丢失的前提下，达到最大的系统并发度。
CREATE PROCEDURE buy(IN: CommNo VARCHAR(20), IN: AmountBuy INT)
BEGIN
//输入合法性验证
if(: AmountBuy<1) return -1；
SET TRANSACTION ISOLATION LEVEL (a) ;
BEGIN TRANSACTION;
//插入销售记录
INSERT INTO Sale
VALUES(getGUID(),: CommNo, AmountBuy, getDATETIME());
//函数 getGUID()：获取唯一值
//函数 getDATETIME()：获取当前系统日期时间
if error ∥error是由DBMS提供的上一句SQL的执行状态
BEGN
ROLLBACK; return -2;
END
//修改库存数量
UPDATE Commodity
SET qty= (b)
WHERE Ccode=: CommNo;
if error
BEGIN
ROLLBACK; return -3;
END
(c)
END
下面是用SQL实现的结算程序，请补全空缺处的代码。
要求在保证销售信息不丢失的前提下，达到最大的系统并发度。
CREATE PROCEDURE buy(IN: CommNo VARCHAR(20), IN: AmountBuy INT)
BEGIN
//输入合法性验证
if(: AmountBuy<1) return -1；
SET TRANSACTION ISOLATION LEVEL (a) ;
BEGIN TRANSACTION;
//插入销售记录
INSERT INTO Sale
VALUES(getGUID(),: CommNo, AmountBuy, getDATETIME());
//函数 getGUID()：获取唯一值
//函数 getDATETIME()：获取当前系统日期时间
if error ∥error是由DBMS提供的上一句SQL的执行状态
BEGN
ROLLBACK; return -2;
END
//修改库存数量
UPDATE Commodity
SET qty= (b)
WHERE Ccode=: CommNo;
if error
BEGIN
ROLLBACK; return -3;
END
(c)
END