Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/Isabelle/HOL/SPARK/Examples/Liseq/

Quelle dml081.mco Sprache: unbekannt

-- SQL Test Suite, V6.0, SQL Module dml081.mco
-- 59-byte ID
--
MODULE DML081
LANGUAGE COBOL
AUTHORIZATION SCHANZLE

DECLARE FATZERO  CURSOR FOR
               SELECT GRADE FROM HU.STAFF WHERE GRADE < :XGRADE
DECLARE COLUMBIA  CURSOR FOR
               SELECT GRADE FROM HU.STAFF

DECLARE MAINT CURSOR FOR
    SELECT COUNT(*) FROM HU.STAFF
    GROUP BY CITY HAVING SUM(GRADE/:ZEERO) > 44

PROCEDURE OPENM SQLCODE SQLSTATE :ZEERO NUMERIC (9);
     OPEN MAINT;

PROCEDURE SUB1 SQLCODE SQLSTATE
    :UIDX CHAR(18);
      SELECT USER INTO :UIDX FROM HU.ECCO;

PROCEDURE SUB2 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      SELECT COUNT (*) INTO :TMPCNT FROM HU.WORKS
                 ;

PROCEDURE SUB3 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0487','pass','MCO');

PROCEDURE SUB4 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0487','fail','MCO');

PROCEDURE SUB5 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB6 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      SELECT COUNT(*) INTO :TMPCNT FROM HU.WORKS
                    WHERE PNUM = (SELECT PNUM FROM HU.WORKS WHERE HOURS = 80)
                 ;

PROCEDURE SUB7 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      SELECT HOURS INTO :TMPCNT FROM HU.WORKS WHERE
                  HOURS = 40;

PROCEDURE SUB8 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      SELECT HOURS INTO :TMPCNT FROM HU.WORKS;

PROCEDURE SUB9 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0488','pass','MCO');

PROCEDURE SUB10 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0488','fail','MCO');

PROCEDURE SUB11 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB12 SQLCODE SQLSTATE
    :XGRADE NUMERIC (9);
      OPEN FATZERO;

PROCEDURE SUB13 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      FETCH FATZERO INTO :TMPCNT;

PROCEDURE SUB14 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      FETCH FATZERO INTO :TMPCNT;

PROCEDURE SUB15 SQLCODE SQLSTATE;
      CLOSE FATZERO;

PROCEDURE SUB17 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      FETCH FATZERO INTO :TMPCNT;

PROCEDURE SUB18 SQLCODE SQLSTATE;
      CLOSE FATZERO;

PROCEDURE SUB19 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      SELECT GRADE INTO :TMPCNT FROM HU.STAFF WHERE
                  EMPNUM = 'xx';

PROCEDURE SUB20 SQLCODE SQLSTATE;
      DELETE FROM HU.STAFF WHERE GRADE = 11;

PROCEDURE SUB21 SQLCODE SQLSTATE;
      INSERT INTO HU.STAFF (EMPNUM,GRADE)
                    SELECT EMPNUM, 9 FROM HU.WORKS WHERE PNUM = 'x9';

PROCEDURE SUB22 SQLCODE SQLSTATE;
      UPDATE HU.STAFF SET CITY = 'Ho' WHERE GRADE = 15
                 ;

PROCEDURE SUB23 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB24 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0489','pass','MCO');

PROCEDURE SUB25 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0489','fail','MCO');

PROCEDURE SUB26 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB27 SQLCODE SQLSTATE;
      INSERT INTO HU.STAFF
                    VALUES ('E6','Fidel',0,'Havana');

PROCEDURE SUB28 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      SELECT COUNT(*) INTO :TMPCNT
                    FROM HU.STAFF WHERE EMPNAME = 'Fidel' AND 16/GRADE > 2
                 ;

PROCEDURE SUB29 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      SELECT 16/GRADE INTO :TMPCNT
                    FROM HU.STAFF WHERE EMPNAME = 'Fidel';

PROCEDURE SUB30 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9)
    :ZEERO NUMERIC (9);
       FETCH MAINT INTO :TMPCNT;

PROCEDURE SUB31 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      SELECT COUNT(*) INTO :TMPCNT FROM HU.STAFF WHERE
                  GRADE =
                    (SELECT 16/GRADE FROM HU.STAFF WHERE EMPNUM = 'E6')
                 ;

PROCEDURE SUB32 SQLCODE SQLSTATE
    :ZEERO NUMERIC (9);
      UPDATE HU.STAFF SET GRADE = GRADE/:ZEERO WHERE
                  GRADE = 12;

PROCEDURE SUB33 SQLCODE SQLSTATE
    :ZEERO NUMERIC (9);
      INSERT INTO HU.STAFF SELECT
                    'X','Y',HOURS/:ZEERO,'z' FROM HU.WORKS WHERE PNUM = 'P6'
                 ;

PROCEDURE SUB34 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB35 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0490','pass','MCO');

PROCEDURE SUB36 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0490','fail','MCO');

PROCEDURE SUB37 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB38 SQLCODE SQLSTATE;
    OPEN COLUMBIA;

PROCEDURE SUB39 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      FETCH COLUMBIA INTO :TMPCNT;

PROCEDURE SUB41 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB42 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      FETCH COLUMBIA INTO :TMPCNT;

PROCEDURE SUB43 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB44 SQLCODE SQLSTATE;
      CLOSE COLUMBIA;

PROCEDURE SUB45 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB47 SQLCODE SQLSTATE;
      DELETE FROM HU.STAFF WHERE CURRENT OF COLUMBIA
                 ;

PROCEDURE SUB48 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB50 SQLCODE SQLSTATE;
      DELETE FROM HU.STAFF WHERE CURRENT OF COLUMBIA
                 ;

PROCEDURE SUB51 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB53 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      FETCH COLUMBIA INTO :TMPCNT;

PROCEDURE SUB54 SQLCODE SQLSTATE;
      DELETE FROM HU.STAFF WHERE CURRENT OF COLUMBIA
                 ;

PROCEDURE SUB55 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      UPDATE HU.STAFF SET GRADE = :TMPCNT WHERE CURRENT
                  OF COLUMBIA;

PROCEDURE SUB56 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB58 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      UPDATE HU.STAFF SET GRADE = :TMPCNT WHERE CURRENT
                  OF COLUMBIA;

PROCEDURE SUB59 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB60 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0502','pass','MCO');

PROCEDURE SUB61 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0502','fail','MCO');

PROCEDURE SUB62 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB63 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      FETCH COLUMBIA INTO :TMPCNT;

PROCEDURE SUB64 SQLCODE SQLSTATE
    :TMPCNT NUMERIC (9);
      FETCH COLUMBIA INTO :TMPCNT;