Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Isabelle/Tools/VSCode/extension/media/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 1 kB image not shown  

Bilddatei

cdr011.cob


products/sources/formale Sprachen/Cobol/Test-Suite/SQL M/cdr011.cob

IDENTIFICATION DIVISION. PROGRAM-ID. CDR011. ENVIRONMENT DIVISION. CONFIGURATION SECTION. SOURCE-COMPUTER. xyz. OBJECT-COMPUTER. xyz. DATA DIVISION. WORKING-STORAGE SECTION. * Standard COBOL (file "CDR011.SCO") calling SQL * procedures in file "CDR011.MCO" **************************************************************** * * COMMENT SECTION * * DATE 1989/04/07 STANDARD 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. * * CDR011.SCO * WRITTEN BY: SUN DAJUN * TRANSLATED AUTOMATICALLY FROM EMBEDDED COBOL BY CHRIS SCHANZLE * * THIS ROUTINE TESTS THE REFERENCE INTEGRITY CONSTRAINT FOR * SQL. * * REFERENCES * AMERICAN NATIONAL STANDARD database language - SQL * with Integrity Enhancement * * SECTION 6.6 * ::= * () * ::= UNIQUE|PRIMARY KEY * * SECTION 6.7 * ::= * FOREIGN KEY () * * ::= * REFERENCES * ::= * * ::= * (( * ::= * ({,}...) * **************************************************************** * EXEC SQL BEGIN DECLARE SECTION END-EXEC 01 EMPNO1 PIC X(2). 01 count1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 count2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 SQLCODE PIC S9(9) COMP. 01 errcnt PIC S9(4) DISPLAY SIGN LEADING SEPARATE. * EXEC SQL END DECLARE SECTION END-EXEC 01 uid PIC X(18). 01 uidx PIC X(18). 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 "SUN" TO uid CALL "AUTHID" USING uid MOVE "not logged in, not" TO uidx CALL "AUTHCK" USING SQLCODE uidx MOVE SQLCODE TO SQL-COD 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, Module COBOL, cdr011.sco" 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 TEST0335 ******************* *This test inserts a row (E8,-,-,-,E9) in STAFF_C *but (E9,-,-,-,-) isn't in STAFF_C, this should be *an error DISPLAY " TEST0335 " DISPLAY " PRIMARY KEY & FOREIGN KEY " DISPLAY " SQL with Integrity Enhancement section - " 6.5,6.6,6.7" DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - " DISPLAY " " DISPLAY " INSERT INTO STAFF_C" DISPLAY " VALUES('E8','Alice',12,'Deale','E9');" COMPUTE count1 = -1 * EXEC SQL INSERT INTO STAFF_C * VALUES('E8','Alice',12,'Deale','E9') END-EXEC CALL "SUB1" USING SQLCODE MOVE SQLCODE TO SQL-COD MOVE SQLCODE TO code1 * EXEC SQL SELECT COUNT(*) INTO:count1 * FROM STAFF_C * WHERE MGR = 'E9' END-EXEC CALL "SUB2" USING SQLCODE count1 MOVE SQLCODE TO SQL-COD * EXEC SQL ROLLBACK WORK; CALL "SUB3" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " The correct answer is :" DISPLAY " SQLCODE of second INSERT not equal to 0." DISPLAY " count1 is 0" DISPLAY " Your answer is :" DISPLAY " SQLCOD of second insert is ", code1 DISPLAY " count1 is ", count1 if (code1 NOT = 0 AND count1 = 0) then * EXEC SQL INSERT INTO TESTREPORT * VALUES('0335','pass','MCO') END-EXEC CALL "SUB4" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " *** pass *** " else * EXEC SQL INSERT INTO TESTREPORT * VALUES('0335','fail','MCO') END-EXEC ADD 1 TO errcnt CALL "SUB5" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " cdr011.sco *** fail *** " END-IF DISPLAY "================================================" DISPLAY " " * EXEC SQL COMMIT WORK; CALL "SUB6" USING SQLCODE MOVE SQLCODE TO SQL-COD ************************ END TEST0335 ************************ ******************** BEGIN TEST0336 ********************* *This test updates a row PRIMARY KEY TABLE -- STAFF_C *set (E1,-,-,-,-) to (E9,-,-,-,-), but there are such *rows (*,*,*,*,E1) in STAFF_C, this should be an *ERROR. DISPLAY " TEST0336 " DISPLAY " REFERENTIAL INTEGRITY " DISPLAY " SQL with Integrity Enhancement section - " 6.5,6.6,6.7" DISPLAY " - - - - - - - - - - - - - - - - - - - - - " DISPLAY " " DISPLAY " UPDATE STAFF_C" DISPLAY " SET EMPNUM='E9'" DISPLAY " WHERE EMPNUM='E1';" DISPLAY "code1 = SQLCODE" DISPLAY " " DISPLAY " SELECT EMPNUM INTO :EMPNO1" DISPLAY " FROM STAFF_C" DISPLAY " WHERE EMPNUM = 'E1';" * EXEC SQL UPDATE STAFF_C * SET EMPNUM='E9' * WHERE EMPNUM='E1' END-EXEC CALL "SUB7" USING SQLCODE MOVE SQLCODE TO SQL-COD MOVE SQLCODE TO code1 MOVE "NV" TO EMPNO1 * EXEC SQL SELECT EMPNUM INTO :EMPNO1 * FROM STAFF_C * WHERE EMPNUM = 'E1' END-EXEC CALL "SUB8" USING SQLCODE EMPNO1 MOVE SQLCODE TO SQL-COD * EXEC SQL ROLLBACK WORK; CALL "SUB9" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " The correct result is code1 not equal to 0" DISPLAY " EMPNO1 = E1" DISPLAY " Your answer is code1=", code1 DISPLAY " EMPNO1 = ", EMPNO1 if (code1 < 0 AND EMPNO1 = "E1") then * EXEC SQL INSERT INTO TESTREPORT * VALUES('0336','pass','MCO') END-EXEC CALL "SUB10" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " *** pass *** " else * EXEC SQL INSERT INTO TESTREPORT * VALUES('0336','fail','MCO') END-EXEC ADD 1 TO errcnt CALL "SUB11" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " cdr011.sco *** fail *** " END-IF DISPLAY "================================================" DISPLAY " " * EXEC SQL COMMIT WORK; CALL "SUB12" USING SQLCODE MOVE SQLCODE TO SQL-COD ****************** END TEST0336 ******************** ******************** BEGIN TEST0337 ******************* *This program updates a row in PRIMARY KEY TABLE -- *STAFF_C, set (E6,-,-,-,-) to (E5,-,-,-,-), this *will let two rows have the same value 'E1' in PRIMARY *COLUMN. DISPLAY " TEST0337 " DISPLAY " PRIMARY KEY " DISPLAY " SQL with Integrity Enhancement section - " 6.5,6.6" DISPLAY " - - - - - - - - - - - - - - - - - - - - - " DISPLAY " " DISPLAY " UPDATE STAFF_C" DISPLAY " SET EMPNUM = :EMPNO1" DISPLAY " WHERE EMPNUM = 'E6';" DISPLAY " " COMPUTE count1 = -1 MOVE "E5" TO EMPNO1 * EXEC SQL UPDATE STAFF_C * SET EMPNUM = :EMPNO1 * WHERE EMPNUM = 'E6' END-EXEC CALL "SUB13" USING SQLCODE EMPNO1 MOVE SQLCODE TO SQL-COD MOVE SQLCODE TO code1 * EXEC SQL SELECT COUNT(*) INTO:count1 * FROM STAFF_C * WHERE EMPNUM ='E6' END-EXEC CALL "SUB14" USING SQLCODE count1 MOVE SQLCODE TO SQL-COD * EXEC SQL ROLLBACK WORK; CALL "SUB15" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " The correct answer is :" DISPLAY " SQLCODE of second INSERT not equal to 0." DISPLAY " count1 is 1" DISPLAY " Your answer is :" DISPLAY " SQLCOD of second INSERT is ", code1 DISPLAY " count1 is ", count1 if (code1 < 0 AND count1 = 1) then * EXEC SQL INSERT INTO TESTREPORT * VALUES('0337','pass','MCO') END-EXEC CALL "SUB16" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " *** pass *** " else * EXEC SQL INSERT INTO TESTREPORT * VALUES('0337','fail','MCO') END-EXEC ADD 1 TO errcnt CALL "SUB17" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " cdr011.sco *** fail *** " END-IF DISPLAY "================================================" DISPLAY " " * EXEC SQL COMMIT WORK; CALL "SUB18" USING SQLCODE MOVE SQLCODE TO SQL-COD **************** END TEST 0337 ********** ******************** BEGIN TEST0338 ******************* *This test update a row or rows on FOREIGN KEY *column,set those rows (*,*,*,*,E1) to (*,*,*,*,E9), *but there is not a row (E9,*,*,*,*) in PRIMARY KEY, *column.this will bring about an ERROR. DISPLAY " TEST0338 " DISPLAY " PRIMARY KEY & FOREIGN KEY " DISPLAY " SQL with Integrity Enhancement section - " 6.5,6.6,6.7" DISPLAY " - - - - - - - - - - - - - - - - - - - - - " DISPLAY " " DISPLAY " UPDATE STAFF_C" DISPLAY " SET MGR='E9'" DISPLAY " WHERE MGR='E1';" DISPLAY "code1 = SQLCODE;" DISPLAY " " DISPLAY " SELECT COUNT(*) INTO :count1" DISPLAY " FROM STAFF_C" DISPLAY " WHERE MGR = 'E1';" * EXEC SQL UPDATE STAFF_C * SET MGR= 'E9' * WHERE MGR = 'E1' END-EXEC CALL "SUB19" USING SQLCODE MOVE SQLCODE TO SQL-COD MOVE SQLCODE TO code1 COMPUTE count1 = -1 * EXEC SQL SELECT COUNT(*) INTO :count1 * FROM STAFF_C * WHERE MGR = 'E1' END-EXEC CALL "SUB20" USING SQLCODE count1 MOVE SQLCODE TO SQL-COD * EXEC SQL ROLLBACK WORK; CALL "SUB21" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " The correct result is code1 not equal 0" DISPLAY " count1 = 2" DISPLAY " Your answer is code1=", code1 DISPLAY " count1 = ", count1 if (code1 < 0 AND count1 = 2) then * EXEC SQL INSERT INTO TESTREPORT * VALUES('0338','pass','MCO') END-EXEC CALL "SUB22" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " *** pass *** " else * EXEC SQL INSERT INTO TESTREPORT * VALUES('0338','fail','MCO') END-EXEC ADD 1 TO errcnt CALL "SUB23" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " cdr011.sco *** fail *** " END-IF DISPLAY "================================================" DISPLAY " " * EXEC SQL COMMIT WORK; CALL "SUB24" USING SQLCODE MOVE SQLCODE TO SQL-COD ******************** END TEST0338 ************************* ******************** BEGIN TEST0339 ****************** *This test update a row or rows on FOREIGN KEY *column in table STAFF_C,set those rows (*,*,*,*,E7) *to (*,*,*,*,E5),and there are such a row (E5,-,-,-, *-) in PRIMARY TABLE -- STAFF_C. DISPLAY " TEST0339 " DISPLAY " PRIMARY KEY & FOREIGN KEY " DISPLAY " SQL with Integrity Enhancement section - " 6.5,6.6,6.7" DISPLAY " - - - - - - - - - - - - - - - - - - - - - " DISPLAY " " DISPLAY " UPDATE STAFF_C" DISPLAY " SET MGR = 'E5'" DISPLAY " WHERE MGR = 'E7';" DISPLAY "code1 = SQLCODE;" DISPLAY " SELECT COUNT(*) INTO :count1" DISPLAY " FROM STAFF_C" DISPLAY " WHERE MGR = 'E5';" * EXEC SQL UPDATE STAFF_C * SET MGR = 'E5' * WHERE MGR = 'E7' END-EXEC CALL "SUB25" USING SQLCODE MOVE SQLCODE TO SQL-COD MOVE SQLCODE TO code1 COMPUTE count1 = -1 * EXEC SQL SELECT COUNT(*) INTO :count1 * FROM STAFF_C * WHERE MGR = 'E5' END-EXEC CALL "SUB26" USING SQLCODE count1 MOVE SQLCODE TO SQL-COD * EXEC SQL ROLLBACK WORK; CALL "SUB27" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " The correct result is code1 equal 0" DISPLAY " count1 = 2" DISPLAY " Your answer is code1=", code1 DISPLAY " count1 = ", count1 if (code1 = 0 AND count1 = 2) then * EXEC SQL INSERT INTO TESTREPORT * VALUES('0339','pass','MCO') END-EXEC CALL "SUB28" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " *** pass *** " else * EXEC SQL INSERT INTO TESTREPORT * VALUES('0339','fail','MCO') END-EXEC ADD 1 TO errcnt CALL "SUB29" USING SQLCODE MOVE SQLCODE TO SQL-COD DISPLAY " cdr011.sco *** fail *** " END-IF DISPLAY "================================================" DISPLAY " " * EXEC SQL COMMIT WORK; CALL "SUB30" USING SQLCODE MOVE SQLCODE TO SQL-COD ******************** END TEST0339 ************************* **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0 STOP RUN. * **** Procedures for PERFORM statements