SCRIPT ()
BEGIN
   DECLARE SaleCodeCursor CURSOR FOR Stmt;
   DECLARE SaleCode INT;
 
   PREPARE Stmt FROM 'SELECT MAX(SaleCode) + 1 AS NextSaleCode FROM Sale';
   OPEN SaleCodeCursor;
   FETCH FIRST FROM SaleCodeCursor INTO SaleCode;
 
   UNPREPARE Stmt;
 
   EXECUTE IMMEDIATE 'ALTER TABLE "Sale" DROP COLUMN "DocketNo"';
   EXECUTE IMMEDIATE 'ALTER TABLE "Sale"
                      ADD COLUMN "DocketNo" INTEGER GENERATED ALWAYS AS SaleCode NOT NULL';

   EXECUTE IMMEDIATE 'ALTER TABLE "Sale"
                      ALTER COLUMN "DocketNo" AS INTEGER 
                         GENERATED BY DEFAULT AS IDENTITY (START WITH ' + CAST(SaleCode AS VARCHAR) + ', INCREMENT BY 1) NOT NULL';
END