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 12 kB

Quelle dml070.cob Sprache: Cobol

       IDENTIFICATION DIVISION.
       PROGRAM-ID.  DML070.
       ENVIRONMENT DIVISION.
       CONFIGURATION SECTION.
       SOURCE-COMPUTER.  xyz.
       OBJECT-COMPUTER.  xyz.
       DATA DIVISION.
       WORKING-STORAGE SECTION.

      * Embedded SQL COBOL ("DML070.PCO") translated from
      * Embedded C on Wed Jan 16 10:18:37 1991.

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1990/11/28 EMBEDDED COBOL LANGUAGE
      * NIST SQL VALIDATION TEST SUITE V6.0
      *  DISCLAIMER:
      *  This program was written by employees of NIST to test SQL
      *  implementations for conformance to the SQL standards.
      *  NIST assumes no responsibility for any party's use of
      *  this program.
      *
      * DML070.PCO
      * WRITTEN BY: SUN DAJUN
      *
      *   THIS ROUTINE TESTS SET OPERATIONS.
      *
      * REFERENCES
      *       AMERICAN NATIONAL STANDARD database language - SQL
      *                         X3.135-1989
      *
      *
      ****************************************************************

           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  HOURS1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  PNUM1 PIC  X(9).
       01  EMPNO1 PIC  X(3).
       01  EMPNA1 PIC  X(20).
       01  GRADE1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  PNA1 PIC  X(20).
       01  PTY1 PIC  X(6).
       01  count1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  uid PIC X(18).
       01  uidx PIC X(18).
             EXEC SQL END DECLARE SECTION END-EXEC
       01  SQLCODE PIC S9(9) COMP.
       01  errcnt PIC S9(4) DISPLAY SIGN LEADING SEPARATE.
       01  flag PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  cnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  cnt2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  code1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

       01  SQL-COD PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

      * date_time declaration *
       01  TO-DAY PIC 9(6).
       01  THE-TIME PIC 9(8).

       PROCEDURE DIVISION.
       P0.

             MOVE "HU" TO uid
             CALL "AUTHID" USING uid
           MOVE "not logged in, not" TO uidx
           EXEC SQL SELECT
                 USER INTO :uidx FROM HU.ECCO END-EXEC
           if (uid NOT = uidx) then
             DISPLAY "ERROR: User " uid " expected."
             DISPLAY "User " uidx " connected."
             DISPLAY " "
             STOP RUN
           END-IF

           MOVE 0 TO errcnt
           DISPLAY
           "SQL Test Suite, V6.0, Embedded COBOL, dml070.pco"
           DISPLAY " "
           DISPLAY
           "59-byte ID"
           DISPLAY "TEd Version #"
           DISPLAY " "
      * date_time print *
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME

      ******************** BEGIN TEST0409 *******************

             DISPLAY " TEST0409 "
             DISPLAY " Effective outer join -- join with two cursors"
             DISPLAY " - - - - - - - - - - - - - - - - - - -"
             DISPLAY  " "
             DISPLAY  " "
             DISPLAY  " "
             MOVE 0 TO HOURS1
             MOVE "NV" TO EMPNO1

             EXEC SQL INSERT INTO STAFF
               VALUES ('E6', 'Lendle', 17, 'Potomac') END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL DECLARE SCALLOP CURSOR FOR
               SELECT  PNUM, WORKS.EMPNUM, EMPNAME, HOURS
               FROM WORKS,STAFF
               WHERE STAFF.EMPNUM = WORKS.EMPNUM
               ORDER BY 2 END-EXEC

             DISPLAY "The correct result is :"
             DISPLAY " P2, E3, Carmen, 20"
             DISPLAY " ZZ, E5, Ed, -99"
             DISPLAY " ZZ, E6, Lendle, -99"
             DISPLAY "Your answer is :"
             EXEC SQL OPEN SCALLOP END-EXEC
             MOVE SQLCODE TO SQL-COD

             MOVE 0 TO cnt2
             MOVE 1 TO flag
             MOVE 0 TO count1
             MOVE 1 TO cnt
             PERFORM P50 UNTIL cnt > 14

             if (cnt2  NOT =  1) then
               MOVE 0 TO flag
             END-IF

             EXEC SQL CLOSE SCALLOP END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL DECLARE FISH CURSOR FOR
               SELECT  'ZZ', EMPNUM, EMPNAME, -99
               FROM STAFF
               WHERE NOT EXISTS (SELECT * FROM WORKS
               WHERE WORKS.EMPNUM = STAFF.EMPNUM)
               ORDER BY EMPNUM END-EXEC

             EXEC SQL OPEN FISH END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL FETCH FISH INTO :PNUM1,
               :EMPNO1, :EMPNA1, :HOURS1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 0 TO flag
             END-IF
             DISPLAY " ", PNUM1 ", ", EMPNO1 ", ", EMPNA1 ",
      -    " ", HOURS1
             if (EMPNO1  NOT  =   "E5"  OR  EMPNA1  NOT  =   "Ed") then
               MOVE 0 TO flag
             END-IF
             if (PNUM1  NOT  =   "ZZ"  OR  HOURS1  NOT =  -99) then
               MOVE 0 TO flag
             END-IF

             EXEC SQL FETCH FISH INTO :PNUM1,
               :EMPNO1, :EMPNA1, :HOURS1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 0 TO flag
             END-IF
             DISPLAY " ", PNUM1 ", ", EMPNO1 ", ", EMPNA1 ",
      -    " ", HOURS1
             if (EMPNO1  NOT  =   "E6"  OR  EMPNA1  NOT  =   "Lendle")
             then
               MOVE 0 TO flag
             END-IF
             if (PNUM1  NOT  =   "ZZ"  OR  HOURS1  NOT =  -99) then
               MOVE 0 TO flag
             END-IF

             EXEC SQL FETCH FISH INTO :PNUM1,
               :EMPNO1, :EMPNA1, :HOURS1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  =  0) then
               MOVE 0 TO flag
             END-IF

             EXEC SQL CLOSE FISH END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL ROLLBACK WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

             if (flag  =  1  AND  count1  =  12) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO TESTREPORT
                 VALUES('0409','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml070.pco *** fail *** "
               EXEC SQL INSERT INTO TESTREPORT
                 VALUES('0409','fail','PCO') END-EXEC
             ADD 1 TO errcnt
               MOVE SQLCODE TO SQL-COD
             END-IF

             DISPLAY
             "==================================================="

             DISPLAY  " "

             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

      ******************** END TEST0409 *******************

      ******************** BEGIN TEST0411 *******************

             DISPLAY " TEST0411 "
             DISPLAY " Effective set difference"
             DISPLAY " - - - - - - - - - - - - - - - - - - -"
             DISPLAY  " "
             DISPLAY "select all staff who joined project P2 and did not
      -    " join P1."
             DISPLAY " SELECT EMPNUM FROM WORKS"
             DISPLAY " WHERE PNUM = 'P2';"
             DISPLAY " **** DIFFER ****"
             DISPLAY " SELECT EMPNUM FROM WORKS"
             DISPLAY " WHERE PNUM = 'P1';"
             DISPLAY  " "
             DISPLAY  " "
             MOVE 0 TO HOURS1
             MOVE "NV" TO EMPNO1

             EXEC SQL DECLARE SMURF CURSOR FOR
               SELECT W1.EMPNUM FROM WORKS W1
               WHERE  W1.PNUM = 'P2'
               AND NOT EXISTS (SELECT * FROM WORKS W2
               WHERE W2.EMPNUM = W1.EMPNUM
               AND W2.PNUM = 'P1')
               ORDER BY 1 ASC END-EXEC

             MOVE 0 TO flag
             DISPLAY "The correct result is :"
             DISPLAY " E3"
             DISPLAY " E4"
             DISPLAY " code1 <> 0"
             DISPLAY "Your answer is :"
             EXEC SQL OPEN SMURF END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL FETCH SMURF INTO :EMPNO1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " ", EMPNO1 " "
             if (EMPNO1  NOT  =   "E3") then
               MOVE 1 TO flag
             END-IF
             EXEC SQL FETCH SMURF INTO :EMPNO1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " ", EMPNO1
             if (EMPNO1  NOT  =   "E4") then
               MOVE 1 TO flag
             END-IF
             EXEC SQL FETCH SMURF INTO :EMPNO1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO code1
             DISPLAY " ", code1
             EXEC SQL CLOSE SMURF END-EXEC
             MOVE SQLCODE TO SQL-COD

             if (flag  =  0  AND  code1  NOT =  0) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO TESTREPORT
                 VALUES('0411','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml070.pco *** fail *** "
               EXEC SQL INSERT INTO TESTREPORT
                 VALUES('0411','fail','PCO') END-EXEC
             ADD 1 TO errcnt
               MOVE SQLCODE TO SQL-COD
             END-IF

             DISPLAY
             "==================================================="

             DISPLAY  " "

             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

      ******************** END TEST0411 *******************

      ******************** BEGIN TEST0412 *******************

             DISPLAY " TEST0412 "
             DISPLAY " Effective set intersection"
             DISPLAY " - - - - - - - - - - - - - - - - - - -"
             DISPLAY  " "
             DISPLAY "select all staff who joined both project P2 and
      -    " P1."
             DISPLAY " SELECT EMPNUM FROM WORKS"
             DISPLAY " WHERE PNUM = 'P2';"
             DISPLAY " **** INTERSECT *****"
             DISPLAY " SELECT EMPNUM FROM WORKS"
             DISPLAY " WHERE PNUM = 'P1';"
             DISPLAY  " "
             DISPLAY  " "
             MOVE 0 TO HOURS1
             MOVE "NV" TO EMPNO1

             EXEC SQL DECLARE BULL CURSOR FOR
               SELECT W1.EMPNUM FROM WORKS W1
               WHERE  W1.PNUM = 'P2'
               AND EXISTS (SELECT * FROM WORKS W2
               WHERE W1.EMPNUM = W2.EMPNUM
               AND W2.PNUM = 'P1')
               ORDER BY EMPNUM ASC END-EXEC

             DISPLAY "The correct result is :"
             DISPLAY " E1"
             DISPLAY " E2"
             DISPLAY " code1 <> 0 "
             DISPLAY "Your answer is :"
             EXEC SQL OPEN BULL END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL FETCH BULL INTO :EMPNO1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " ", EMPNO1
             if (EMPNO1  NOT  =   "E1") then
               MOVE 1 TO flag
             END-IF
             EXEC SQL FETCH BULL INTO :EMPNO1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " ", EMPNO1
             if (EMPNO1  NOT  =   "E2") then
               MOVE 1 TO flag
             END-IF
             EXEC SQL FETCH BULL INTO :EMPNO1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO code1
             DISPLAY " ", code1

             EXEC SQL CLOSE BULL END-EXEC
             MOVE SQLCODE TO SQL-COD

             if (flag  =  0  AND  code1  NOT =  0) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO TESTREPORT
                 VALUES('0412','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml070.pco *** fail *** "
               EXEC SQL INSERT INTO TESTREPORT
                 VALUES('0412','fail','PCO') END-EXEC
             ADD 1 TO errcnt
               MOVE SQLCODE TO SQL-COD
             END-IF

             DISPLAY
             "==================================================="

             DISPLAY  " "

             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

      ******************** END TEST0412 *******************

      **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0
           STOP RUN.

      *    ****  Procedures for PERFORM statements

        P50.
               EXEC SQL FETCH SCALLOP INTO :PNUM1,
                 :EMPNO1, :EMPNA1, :HOURS1 END-EXEC
               MOVE SQLCODE TO SQL-COD
               if (SQLCODE  =  0) then
                 COMPUTE count1 = count1 + 1
               END-IF
               if (EMPNO1   =   "E3"  AND  PNUM1   =   "P2") then
                 COMPUTE cnt2 = cnt2 + 1
                 DISPLAY " ", PNUM1 ", ", EMPNO1 ", ", EMPNA1
             ", ", HOURS1
                 if (EMPNA1  NOT  =   "Carmen"  OR  HOURS1  NOT =  20)
                   then
                   MOVE 0 TO flag
                 END-IF
               END-IF
             ADD 1 TO cnt
           .

quality99%