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/Cobol/Test-Suite/SQL M/ (Beweissystem der NASA Version 6.0.9^©) Datei vom 4.1.2008 mit Größe 18 kB

Quellcode-Bibliothek dml131.mco Sprache: unbekannt

-- SQL Test Suite, V6.0, SQL Module dml131.mco
-- 59-byte ID
--
MODULE DML131
LANGUAGE COBOL
AUTHORIZATION FLATER

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

PROCEDURE SUB2 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB3 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.TABLES
                   WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VISCHANGE'
                 ;

PROCEDURE SUB4 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.COLUMNS
                   WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VISCHANGE'
                 ;

PROCEDURE SUB5 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB6 SQLCODE SQLSTATE;
      CREATE TABLE VISCHANGE (C1 INT, C2 FLOAT);

PROCEDURE SUB7 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB8 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.TABLES
                   WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VISCHANGE'
                   AND TABLE_TYPE = 'BASE TABLE';

PROCEDURE SUB9 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.COLUMNS
                   WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VISCHANGE'
                 ;

PROCEDURE SUB10 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB11 SQLCODE SQLSTATE;
      ALTER TABLE VISCHANGE DROP C1 RESTRICT;

PROCEDURE SUB12 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB13 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.COLUMNS
                   WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VISCHANGE'
                 ;

PROCEDURE SUB14 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.COLUMNS
                   WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VISCHANGE'
                   AND COLUMN_NAME = 'C2';

PROCEDURE SUB15 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB16 SQLCODE SQLSTATE;
      DROP TABLE VISCHANGE CASCADE;

PROCEDURE SUB17 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB18 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.TABLES
                   WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VISCHANGE'
                 ;

PROCEDURE SUB19 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.COLUMNS
                   WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VISCHANGE'
                 ;

PROCEDURE SUB20 SQLCODE SQLSTATE;
      ROLLBACK WORK;

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

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

PROCEDURE SUB23 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB24 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.TABLES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'WORKS'
                    AND TABLE_TYPE = 'BASE TABLE';

PROCEDURE SUB25 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.COLUMNS
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'WORKS'
                 ;

PROCEDURE SUB26 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.TABLES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'TESTREPORT'
                    AND TABLE_TYPE = 'VIEW';

PROCEDURE SUB27 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.VIEWS
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'TESTREPORT'
                 ;

PROCEDURE SUB28 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.COLUMNS
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'TESTREPORT'
                 ;

PROCEDURE SUB29 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.TABLES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'VTABLE'
                    AND TABLE_TYPE = 'BASE TABLE';

PROCEDURE SUB30 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.COLUMNS
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'VTABLE'
                 ;

PROCEDURE SUB31 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.TABLES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'FF';

PROCEDURE SUB32 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM INFO_SCHEM.COLUMNS
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'FF';

PROCEDURE SUB33 SQLCODE SQLSTATE;
      ROLLBACK WORK;

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

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

PROCEDURE SUB36 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB37 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND GRANTOR <> '_SYSTEM'
                    AND GRANTEE = 'FLATER';

PROCEDURE SUB38 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND GRANTOR <> '_SYSTEM'
                    AND GRANTEE = 'FLATER';

PROCEDURE SUB39 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VS1'
                    AND GRANTOR = 'FLATER' AND GRANTEE = 'SCHANZLE'
                    AND IS_GRANTABLE = 'NO';

PROCEDURE SUB40 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'VS1'
                    AND GRANTOR = 'FLATER' AND GRANTEE = 'SCHANZLE'
                    AND IS_GRANTABLE = 'NO';

PROCEDURE SUB41 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'PROJ'
                    AND GRANTOR = 'HU' AND GRANTEE = 'PUBLIC'
                    AND IS_GRANTABLE = 'NO';

PROCEDURE SUB42 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'PROJ'
                    AND GRANTOR = 'HU' AND GRANTEE = 'PUBLIC'
                    AND IS_GRANTABLE = 'NO';

PROCEDURE SUB43 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'TESTREPORT'
                    AND GRANTOR = 'HU' AND GRANTEE = 'PUBLIC'
                    AND IS_GRANTABLE = 'YES' AND PRIVILEGE_TYPE = 'INSERT'
                 ;

PROCEDURE SUB44 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'TESTREPORT'
                    AND GRANTOR = 'HU' AND GRANTEE = 'PUBLIC'
                    AND IS_GRANTABLE = 'YES' AND PRIVILEGE_TYPE = 'INSERT'
                 ;

PROCEDURE SUB45 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'TESTREPORT'
                    AND GRANTOR = 'HU' AND (GRANTEE <> 'PUBLIC'
                    OR IS_GRANTABLE <> 'YES' OR PRIVILEGE_TYPE <> 'INSERT')
                 ;

PROCEDURE SUB46 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'VTABLE'
                    AND GRANTOR = 'HU';

PROCEDURE SUB47 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'VTABLE'
                    AND GRANTOR = 'HU';

PROCEDURE SUB48 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'VTABLE'
                    AND GRANTOR = 'HU' AND COLUMN_NAME = 'COL1'
                    AND PRIVILEGE_TYPE = 'UPDATE' AND
                    IS_GRANTABLE = 'NO' AND GRANTEE = 'FLATER';

PROCEDURE SUB49 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'FF';

PROCEDURE SUB50 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'HU' AND TABLE_NAME = 'FF';

PROCEDURE SUB51 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME =
                    'BASE_WCOV' AND GRANTOR = 'FLATER' AND GRANTEE = 'CUGINI'
                   ;

PROCEDURE SUB52 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME =
                    'BASE_WCOV' AND GRANTOR = 'FLATER' AND GRANTEE = 'CUGINI'
                   ;

PROCEDURE SUB53 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB54 SQLCODE SQLSTATE;
      GRANT DELETE ON BASE_WCOV TO CUGINI;

PROCEDURE SUB55 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB56 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME = 'BASE_WCOV'
                    AND GRANTOR = 'FLATER' AND GRANTEE = 'CUGINI'
                    AND PRIVILEGE_TYPE = 'DELETE' AND IS_GRANTABLE = 'NO'
                 ;

PROCEDURE SUB57 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME =
                    'BASE_WCOV' AND GRANTOR = 'FLATER' AND GRANTEE = 'CUGINI'
                   ;

PROCEDURE SUB58 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME =
                    'BASE_WCOV' AND GRANTOR = 'FLATER' AND GRANTEE =
                    'CUGINI' AND PRIVILEGE_TYPE = 'DELETE'  AND
                    IS_GRANTABLE = 'NO';

PROCEDURE SUB59 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME =
                    'BASE_WCOV' AND GRANTOR = 'FLATER' AND GRANTEE =
                    'CUGINI';

PROCEDURE SUB60 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB61 SQLCODE SQLSTATE;
      REVOKE DELETE ON BASE_WCOV FROM CUGINI CASCADE
                 ;

PROCEDURE SUB62 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB63 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.TABLE_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME =
                    'BASE_WCOV' AND GRANTOR = 'FLATER' AND GRANTEE =
                    'CUGINI';

PROCEDURE SUB64 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMN_PRIVILEGES
                    WHERE TABLE_SCHEM = 'FLATER' AND TABLE_NAME =
                    'BASE_WCOV' AND GRANTOR = 'FLATER' AND GRANTEE = 'CUGINI'
                   ;

PROCEDURE SUB65 SQLCODE SQLSTATE;
      ROLLBACK WORK;

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

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

PROCEDURE SUB68 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB69 SQLCODE SQLSTATE;
      CREATE TABLE FEAT16 (
                    EMPNUM INT PRIMARY KEY,
                    PNUM   INT UNIQUE);

PROCEDURE SUB70 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB71 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMNS WHERE TABLE_SCHEM = 'FLATER'
                    AND TABLE_NAME = 'FEAT16' AND COLUMN_NAME = 'EMPNUM'
                    AND IS_NULLABLE = 'NO';

PROCEDURE SUB72 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.COLUMNS WHERE TABLE_SCHEM = 'FLATER'
                    AND TABLE_NAME = 'FEAT16' AND COLUMN_NAME = 'PNUM'
                    AND IS_NULLABLE = 'YES';

PROCEDURE SUB73 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB74 SQLCODE SQLSTATE;
      DROP TABLE FEAT16 CASCADE;

PROCEDURE SUB75 SQLCODE SQLSTATE;
      COMMIT WORK;

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

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

PROCEDURE SUB78 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB79 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.SCHEMATA
                    WHERE SCHEM_NAME = 'SHIRLEY_HURWITZ' AND
                    SCHEM_OWNER = 'FLATER';

PROCEDURE SUB80 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM INFO_SCHEM.SCHEMATA
                    WHERE SCHEM_NAME = 'LEN_GALLAGHER' AND
                    SCHEM_OWNER = 'FLATER';

PROCEDURE SUB81 SQLCODE SQLSTATE;
      COMMIT WORK;

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

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

PROCEDURE SUB84 SQLCODE SQLSTATE;
      COMMIT WORK;