Comment : Charset=windows-1252
Request : CMD(ASSERT EMP,EMP(T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-01)NM_EMP(LEFFLER)NR_EMP(1111)NM_JOB(INVENTOR)AM_SAL_MTHLY(7500)NR_SGRD(2)DT_HIRED(2007-02-01)NM_USER(JL))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-02)NM_EMP(NOVOA)NR_EMP(1112)NM_JOB(ANALYST)AM_SAL_MTHLY(7500)NR_SGRD(2)DT_HIRED(2007-02-02)NM_USER(AN))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-03)NM_EMP(BABOI)NR_EMP(1113)NM_JOB(PROG)AM_SAL_MTHLY(7400)NR_SGRD(2)DT_HIRED(2007-02-03)NM_USER(CB))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-04)NM_EMP(FERNANDEZ)NR_EMP(1114)NM_JOB(SALESREP)AM_SAL_MTHLY(17500)NR_SGRD(4)DT_HIRED(2007-02-04)NM_USER(AF))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-05)NM_EMP(JONES)NR_EMP(1115)NM_JOB(TRAINER)AM_SAL_MTHLY(9500)NR_SGRD(2)DT_HIRED(2009-02-05)NM_USER(EJ))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-06)NM_EMP(SMITH)NR_EMP(1116)NM_JOB(TRAINER)AM_SAL_MTHLY(9400)NR_SGRD(2)DT_HIRED(2007-02-06)NM_USER(JS))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-07)NM_EMP(HUDNOTT)NR_EMP(1117)NM_JOB(INVENTOR)AM_SAL_MTHLY(7500)NR_SGRD(2)DT_HIRED(2007-02-07)NM_USER(AH))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-08)NM_EMP(ATTENBOROUGH)NR_EMP(1118)NM_JOB(CLERK)AM_SAL_MTHLY(4500)NR_SGRD(1)DT_HIRED(2007-02-08)NM_USER(DA))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-09)NM_EMP(PRESTI)NR_EMP(1119)NM_JOB(PROG)AM_SAL_MTHLY(7500)NR_SGRD(2)DT_HIRED(2007-02-09)NM_USER(MP))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-10)NM_EMP(LOUP)NR_EMP(1120)NM_JOB(INVENTOR)AM_SAL_MTHLY(7500)NR_SGRD(2)DT_HIRED(2007-02-10)NM_USER(ML))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-11)NM_EMP(DURELL)NR_EMP(1121)NM_JOB(TRAINER)AM_SAL_MTHLY(7500)NR_SGRD(2)DT_HIRED(2007-02-11)NM_USER(GD))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-12)NM_EMP(EISENHAWER)NR_EMP(1122)NM_JOB(TRAINER)AM_SAL_MTHLY(7500)NR_SGRD(2)DT_HIRED(2007-02-12)NM_USER(GE))T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-02-13)NM_EMP(HARRINGTON)NR_EMP(1123)NM_JOB(TRAINER)AM_SAL_MTHLY(7500)NR_SGRD(2)DT_HIRED(2007-02-13)NM_USER(ALH))))CMD(ASSERT SREP,SREP(T(NR_EMP(1114)AM_SLS_TRGT(95000)AM_COMM(2500))))
Reply   : 
Request : COMMIT
Reply   : 

Comment : test cases for the defined assignment constraints
Comment : decrease a salary - must fail
Request : UPDATE EMP,RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111))),(AM_SAL_MTHLY(DECIMAL(7499)))
Reply   : 201806116:115166:Monthly salary cannot decrease (from 7500. to 7499. for employee 1111).
Request : INQUIRE RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111)))
Reply   : RELATION(HEADING(NR_EMP(NR_EMP_T)NR_DEPT(NR_DEPT_T)DT_BORN(DATE)NM_EMP(NAME)NR_SGRD(INT)NM_JOB(NAME)NM_USER(NAME)AM_SAL_MTHLY(DECIMAL)NR_EMP_MGR(NR_EMP_T)DT_HIRED(DATE))BODY(TUPLE(NR_EMP(1111)NR_DEPT(1)DT_BORN(1963-02-01)NM_EMP(LEFFLER)NR_SGRD(2)NM_JOB(INVENTOR)NM_USER(JL)AM_SAL_MTHLY(7500.)NR_EMP_MGR(1001)DT_HIRED(2007-02-01))))
Comment : change job - should pass
Request : UPDATE EMP,RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111))),(NM_JOB(ANALYST))
Reply   : 
Request : INQUIRE RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111)))
Reply   : RELATION(HEADING(NR_EMP(NR_EMP_T)NR_DEPT(NR_DEPT_T)DT_BORN(DATE)NM_EMP(NAME)NR_SGRD(INT)NM_JOB(NAME)NM_USER(NAME)AM_SAL_MTHLY(DECIMAL)NR_EMP_MGR(NR_EMP_T)DT_HIRED(DATE))BODY(TUPLE(NR_EMP(1111)NR_DEPT(1)DT_BORN(1963-02-01)NM_EMP(LEFFLER)NR_SGRD(2)NM_JOB(ANALYST)NM_USER(JL)AM_SAL_MTHLY(7500.)NR_EMP_MGR(1001)DT_HIRED(2007-02-01))))
Comment : change job and increase salary - should pass
Request : UPDATE EMP,RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111))),(NM_JOB(ANALYST)AM_SAL_MTHLY(DECIMAL(7501)))
Reply   : 
Request : INQUIRE RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111)))
Reply   : RELATION(HEADING(NR_EMP(NR_EMP_T)NR_DEPT(NR_DEPT_T)DT_BORN(DATE)NM_EMP(NAME)NR_SGRD(INT)NM_JOB(NAME)NM_USER(NAME)AM_SAL_MTHLY(DECIMAL)NR_EMP_MGR(NR_EMP_T)DT_HIRED(DATE))BODY(TUPLE(NR_EMP(1111)NR_DEPT(1)DT_BORN(1963-02-01)NM_EMP(LEFFLER)NR_SGRD(2)NM_JOB(ANALYST)NM_USER(JL)AM_SAL_MTHLY(7501.)NR_EMP_MGR(1001)DT_HIRED(2007-02-01))))

Comment : Do an update along with the creation of a history record
Request : CMD(ADD HIST,TRANSFORM(JOIN(CURRENTDATE,RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111)))),(NR_EMP,NR_DEPT,AM_SAL_MTHLY,DT_UNTIL(CURRENTDATE))))CMD(UPDATE EMP,RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111))),(AM_SAL_MTHLY(DECIMAL(7550))))
Reply   : 
Request : INQUIRE PROJECT(RESTRICT(HIST,EQ(NR_EMP,NR_EMP_T(1111))),(NR_EMP,NR_DEPT,AM_SAL_MTHLY))
Reply   : RELATION(HEADING(NR_DEPT(NR_DEPT_T)NR_EMP(NR_EMP_T)AM_SAL_MTHLY(DECIMAL))BODY(TUPLE(NR_DEPT(1)NR_EMP(1111)AM_SAL_MTHLY(7501.))))
Request : INQUIRE RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111)))
Reply   : RELATION(HEADING(NR_EMP(NR_EMP_T)NR_DEPT(NR_DEPT_T)DT_BORN(DATE)NM_EMP(NAME)NR_SGRD(INT)NM_JOB(NAME)NM_USER(NAME)AM_SAL_MTHLY(DECIMAL)NR_EMP_MGR(NR_EMP_T)DT_HIRED(DATE))BODY(TUPLE(NR_EMP(1111)NR_DEPT(1)DT_BORN(1963-02-01)NM_EMP(LEFFLER)NR_SGRD(2)NM_JOB(ANALYST)NM_USER(JL)AM_SAL_MTHLY(7550.)NR_EMP_MGR(1001)DT_HIRED(2007-02-01))))

Comment : Try to update the history record - should fail
Request : UPDATE HIST,HIST,(AM_SAL_MTHLY(DECIMAL(7540)))
Reply   : 201806116:115169:No updates allowed to history records of employee data (historical data of employee 1111 for date 2009-11-25).
Request : INQUIRE PROJECT(RESTRICT(HIST,EQ(NR_EMP,NR_EMP_T(1111))),(NR_EMP,NR_DEPT,AM_SAL_MTHLY))
Reply   : RELATION(HEADING(NR_DEPT(NR_DEPT_T)NR_EMP(NR_EMP_T)AM_SAL_MTHLY(DECIMAL))BODY(TUPLE(NR_DEPT(1)NR_EMP(1111)AM_SAL_MTHLY(7501.))))

Comment : Delete emp 1111 for purposes of re-runnability
Request : CMD(DELETE EMP,RESTRICT(EMP,EQ(NR_EMP,NR_EMP_T(1111))))CMD(DELETE HIST,RESTRICT(HIST,EQ(NR_EMP,NR_EMP_T(1111))))
Reply   : 
END
