下面是用E-SQL实现的销售业务程序的一部分，请补全空缺处的代码。
SET TRANSACTION ISOLATION LEVEL REPEATABLE READ;
INSERT INTO 订单表 VALUES (：OID，：CID，：MID，：qty);
if error then ROLLBACK;

• (a) ;
  UPDATE 库存表
  SET 库存量=库存量-：qty
  WHERE
• (b) ;
  if error then ROLLBACK; return;
  
• (c) ;

牛巴贝斯虫病的诊断方法