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 Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/Cobol/Test-Suite/SQL M/

Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Algebraic.thy Sprache: VDM

Haftungsausschluß.mco KontaktPython {Python[114] Lex[144] BAT[159]}diese Dinge liegen außhalb unserer Verantwortung

-- SQL Test Suite, V6.0, SQL Module yts765.mco
-- 59-byte ID
--
MODULE YTS765
LANGUAGE COBOL
AUTHORIZATION CTS1

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

PROCEDURE SUB2 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB3 (SQLCODE, SQLSTATE,
    :CONSCH CHAR(128),
    :TABSCH CHAR(128),
    :ISDEF CHAR(128),
    :INIT CHAR(128));
      SELECT CONSTRAINT_SCHEMA, TABLE_SCHEMA,
                    IS_DEFERRABLE, INITIALLY_DEFERRED
                    INTO :CONSCH, :TABSCH, :ISDEF, :INIT
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_NAME = 'WORKS3A' AND
                    CONSTRAINT_TYPE = 'FOREIGN KEY';

PROCEDURE SUB4 (SQLCODE, SQLSTATE,
    :CONSCH CHAR(128),
    :TABSCH CHAR(128),
    :ISDEF CHAR(128),
    :INIT CHAR(128));
      SELECT CONSTRAINT_SCHEMA, TABLE_SCHEMA,
                    IS_DEFERRABLE, INITIALLY_DEFERRED
                    INTO :CONSCH, :TABSCH, :ISDEF, :INIT
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_NAME = 'WORKS' AND CONSTRAINT_TYPE = 'UNIQUE'
                 ;

PROCEDURE SUB5 (SQLCODE, SQLSTATE,
    :CONSCH CHAR(128),
    :TABSCH CHAR(128),
    :ISDEF CHAR(128),
    :INIT CHAR(128));
      SELECT CONSTRAINT_SCHEMA, TABLE_SCHEMA,
                    IS_DEFERRABLE, INITIALLY_DEFERRED
                    INTO :CONSCH, :TABSCH, :ISDEF, :INIT
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_NAME = 'STAFF7' AND CONSTRAINT_TYPE =
                  'PRIMARY KEY';

PROCEDURE SUB6 (SQLCODE, SQLSTATE,
    :CONSCH CHAR(128),
    :TABSCH CHAR(128),
    :ISDEF CHAR(128),
    :INIT CHAR(128));
      SELECT CONSTRAINT_SCHEMA, TABLE_SCHEMA,
                    IS_DEFERRABLE, INITIALLY_DEFERRED
                    INTO :CONSCH, :TABSCH, :ISDEF, :INIT
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_NAME = 'STAFF7' AND CONSTRAINT_TYPE = 'CHECK'
                 ;

PROCEDURE SUB7 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB8 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7537','pass','MCO');

PROCEDURE SUB9 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7537','fail','MCO');

PROCEDURE SUB10 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB11 (SQLCODE, SQLSTATE,
    :CONSCH CHAR(128),
    :TABSCH CHAR(128),
    :ISDEF CHAR(128),
    :INIT CHAR(128));
      SELECT CONSTRAINT_SCHEMA, TABLE_SCHEMA,
                    IS_DEFERRABLE, INITIALLY_DEFERRED
                    INTO :CONSCH, :TABSCH, :ISDEF, :INIT
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_NAME = 'STAFF1' AND CONSTRAINT_TYPE = 'CHECK'
                 ;

PROCEDURE SUB12 (SQLCODE, SQLSTATE,
    :CONSCH CHAR(128),
    :TABSCH CHAR(128),
    :ISDEF CHAR(128),
    :INIT CHAR(128));
      SELECT CONSTRAINT_SCHEMA, TABLE_SCHEMA,
                    IS_DEFERRABLE, INITIALLY_DEFERRED
                    INTO :CONSCH, :TABSCH, :ISDEF, :INIT
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_NAME = 'STAFF' AND CONSTRAINT_TYPE = 'UNIQUE'
                 ;

PROCEDURE SUB13 (SQLCODE, SQLSTATE,
    :CONSCH CHAR(128),
    :TABSCH CHAR(128),
    :ISDEF CHAR(128),
    :INIT CHAR(128));
      SELECT CONSTRAINT_SCHEMA, TABLE_SCHEMA,
                    IS_DEFERRABLE, INITIALLY_DEFERRED
                    INTO :CONSCH, :TABSCH, :ISDEF, :INIT
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_NAME = 'STAFFZ' AND CONSTRAINT_TYPE =
                  'FOREIGN KEY';

PROCEDURE SUB14 (SQLCODE, SQLSTATE,
    :CONSCH CHAR(128),
    :TABSCH CHAR(128),
    :ISDEF CHAR(128),
    :INIT CHAR(128));
      SELECT CONSTRAINT_SCHEMA, TABLE_SCHEMA,
                    IS_DEFERRABLE, INITIALLY_DEFERRED
                    INTO :CONSCH, :TABSCH, :ISDEF, :INIT
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_NAME = 'STAFFZ' AND CONSTRAINT_TYPE = 'CHECK'
                 ;

PROCEDURE SUB15 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB16 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7538','pass','MCO');

PROCEDURE SUB17 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7538','fail','MCO');

PROCEDURE SUB18 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB19 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE CONSTRAINT_CATALOG IS NULL;

PROCEDURE SUB20 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA IS NULL;

PROCEDURE SUB21 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE CONSTRAINT_NAME IS NULL;

PROCEDURE SUB22 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS;

PROCEDURE SUB23 (SQLCODE, SQLSTATE,
    :CO2 NUMERIC (4));
      SELECT COUNT (*) INTO :CO2
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS AS T
                    WHERE
                    UNIQUE (
                    SELECT * FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE CONSTRAINT_CATALOG = T.CONSTRAINT_CATALOG AND
                    CONSTRAINT_NAME = T.CONSTRAINT_NAME AND
                    CONSTRAINT_SCHEMA = T.CONSTRAINT_SCHEMA
                    );

PROCEDURE SUB24 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB25 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7539','pass','MCO');

PROCEDURE SUB26 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7539','fail','MCO');

PROCEDURE SUB27 (SQLCODE, SQLSTATE);
      COMMIT WORK;