Comment : Charset=windows-1252
Request : CMD(DELETE DEPT,DEPT)CMD(DELETE EMP,EMP)CMD(DELETE PRESIDENT,PRESIDENT)
Reply   : 
Request : COMMIT
Reply   : 
Comment : FORCE VIOLATION OF CONSTRAINT 15002 - PRESIDENT SALARY
Request : ASSERT PRESIDENT,PRESIDENT(T(NR_EMP(1001)NM_EMP(SMOUT)AM_SAL_MTHLY(7000)))
Reply   : 201806116:115002:Employee 1001 is the president, but his salary 7000. is less than the minimum for that job (10001).
Comment : ASSERT THE PRESIDENT
Request : ASSERT PRESIDENT,PRESIDENT(T(NR_EMP(1001)NM_EMP(SMOUT)AM_SAL_MTHLY(75000)))
Reply   : 
Request : COMMIT
Reply   : 
Comment : ASSERT ANOTHER PRESIDENT
Request : ASSERT PRESIDENT,PRESIDENT(T(NR_EMP(1002)NM_EMP(COPYCAT)AM_SAL_MTHLY(73000)))
Reply   : 201806116:115005:Constraint 115005 violated.  Violating tuple attribute values are : __NR_EMP=1002,NM_EMP=SMOUT,__NM_EMP=COPYCAT,AM_SAL_MTHLY=75000.,NR_EMP=1001,__AM_SAL_MTHLY=73000.
Comment : ASSERT DEPARTMENT MANAGED BY THE PRESIDENT, SHOULD FAIL ON 15131
Request : ASSERT DEPT,DEPT(T(NR_DEPT(1)NM_DEPT(RESEARCH)NM_LOC(ANTWERP)NR_EMP_MGR(1001)))
Reply   : 201806116:115158:Employee 1001 does not work for any of the departments he manages (a.o. department 1).
Comment : FORCE VIOLATION OF CONSTRAINT 15081 - SALARY ZERO OR NEGATIVE (NOTE : THIS CONSTRAINT IS ACTUALLY SUPERFLUOUS)
Request : ASSERT EMP,EMP(T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-01-03)NM_EMP(CRUZ)NR_EMP(1003)NM_JOB(ADMIN)AM_SAL_MTHLY(0)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(ACRUZ)))
Reply   : 201806116:115081:The salary .0 of employee 1003 is less than 1.
Comment : FORCE VIOLATION OF CONSTRAINT 15003 - ADMIN SALARY LESS THAN 5000
Request : ASSERT EMP,EMP(T(NR_DEPT(1)NR_EMP_MGR(1001)DT_BORN(1963-01-04)NM_EMP(CRUDE)NR_EMP(1004)NM_JOB(ADMIN)AM_SAL_MTHLY(5000)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(ACRUDE)))
Reply   : 201806116:115130:Employee 1004 is assigned to department 1, which is not a known department.
Comment : FORCE VIOLATION OF CONSTRAINT 15130 - EMPLOYEE IN NON-EXISTING DEPARTMENT
Request : CMD(ASSERT EMP,EMP(T(NR_EMP_MGR(1001)NR_DEPT(2)DT_BORN(1963-01-09)NM_EMP(DOE)NR_EMP(1009)NM_JOB(ADMIN)AM_SAL_MTHLY(2000)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(JDOE))))
Reply   : 201806116:115130:Employee 1009 is assigned to department 2, which is not a known department.
Comment : ASSERT DEPARTMENT 1, ITS MANAGER AND ITS ADMIN
Request : CMD(ASSERT DEPT,DEPT(T(NR_DEPT(1)NM_DEPT(RESEARCH)NM_LOC(ANTWERP)NR_EMP_MGR(1010))))CMD(ASSERT EMP,EMP(T(NR_DEPT(1)DT_BORN(1963-01-01)NM_EMP(DEAR)NR_EMP(1010)NM_JOB(MANAGER)AM_SAL_MTHLY(12500)NR_SGRD(4)DT_HIRED(2007-01-01)NM_USER(ADEAR)NR_EMP_MGR(1001))T(NR_DEPT(1)DT_BORN(1963-01-02)NM_EMP(EYTHEIR)NR_EMP(1011)NM_JOB(ADMIN)AM_SAL_MTHLY(3500)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(HEYTHEIR)NR_EMP_MGR(1010))))
Reply   : 
Request : COMMIT
Reply   : 
Comment : FORCE VIOLATION OF CONSTRAINT 15175
Request : CMD(ASSERT EMP,EMP(T(NR_DEPT(1)DT_BORN(1963-01-06)NM_EMP(ZEALOT)NR_EMP(1001)NM_JOB(CLERK)AM_SAL_MTHLY(2000)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(AZEALOT)NR_EMP_MGR(1010))))
Reply   : 201806116:115147:Employee 1010 earns more than his manager 1001.
Comment : FORCE VIOLATION OF CONSTRAINT 15132
Request : CMD(ASSERT EMP,EMP(T(NR_DEPT(1)DT_BORN(1963-01-06)NM_EMP(ZEALOT)NR_EMP(1006)NM_JOB(ADMIN)AM_SAL_MTHLY(2000)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(AZEALOT)NR_EMP_MGR(1002))))
Reply   : 201806116:115132:Employee 1006 reports to employee 1002, who is neither a manager nor the president.
Comment : FORCE VIOLATION OF CONSTRAINT 15134
Request : CMD(ASSERT EMP,EMP(T(NR_DEPT(1)DT_BORN(1963-01-06)NM_EMP(ZEALOT)NR_EMP(1006)NM_JOB(ADMIN)AM_SAL_MTHLY(2000)NR_SGRD(8)DT_HIRED(2007-01-01)NM_USER(AZEALOT)NR_EMP_MGR(1001))))
Reply   : 201806116:115134:Salary grade 8 of employee 1006 is not a known salary grade.
Comment : FORCE VIOLATION OF CONSTRAINT 15142
Request : CMD(ASSERT EMP,EMP(T(NR_EMP_MGR(1001)NR_DEPT(1)DT_BORN(1963-01-07)NM_EMP(SELLER)NR_EMP(1007)NM_JOB(SALESREP)AM_SAL_MTHLY(2000)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(ASELLER))))
Reply   : 201806116:115142:Either employee 1007 is a sales representative without a sales target, or else a salestarget has been registered for this employee, but this employee is not a sales representative.
Comment : FORCE VIOLATION OF CONSTRAINT 15146
Request : CMD(ASSERT EMP,EMP(T(NR_EMP_MGR(1010)NR_DEPT(1)DT_BORN(1963-01-07)NM_EMP(SELLER)NR_EMP(1007)NM_JOB(SALESREP)AM_SAL_MTHLY(2000)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(ASELLER))))CMD(ASSERT SREP,SREP(T(NR_EMP(1007)AM_SLS_TRGT(95000)AM_COMM(90000))))
Reply   : 201806116:115146:Sales representative 1007 earns more than his manager 1010.
Comment : FORCE VIOLATION OF 15144 - SALARY NOT WITHIN GRADE
Request : CMD(ASSERT EMP,EMP(T(NR_EMP_MGR(1010)NR_DEPT(1)DT_BORN(1963-01-14)NM_EMP(VANDENBRANDE)NR_EMP(1014)NM_JOB(CLERK)AM_SAL_MTHLY(35000)NR_SGRD(4)DT_HIRED(1982-01-01)NM_USER(JOHNVDB))))
Reply   : 201806116:115144:The salary 35000. of employee 1014 is not in the range [12000.-25000.] of the assigned salary grade 4.
Comment : FORCE VIOLATION OF 15147 - SALARY ABOVE MANAGER'S
Request : CMD(ASSERT EMP,EMP(T(NR_EMP_MGR(1010)NR_DEPT(1)DT_BORN(1963-01-17)NM_EMP(VANDENBRANDE)NR_EMP(1017)NM_JOB(CLERK)AM_SAL_MTHLY(35000)NR_SGRD(5)DT_HIRED(1982-01-01)NM_USER(JOHNVDB))))
Reply   : 201806116:115147:Employee 1017 earns more than his manager 1010.
Comment : FORCE VIOLATION OF 15173 - WRONG JOB
Request : CMD(ASSERT EMP,EMP(T(NR_EMP_MGR(1010)NR_DEPT(1)DT_BORN(1963-01-17)NM_EMP(LETERME)NR_EMP(1017)NM_JOB(ARSEKSR)AM_SAL_MTHLY(5000)NR_SGRD(2)DT_HIRED(1982-01-01)NM_USER(YLETERME))))
Reply   : 201806116:115173:Employee 1017 has job ARSEKSR, but that job is not defined.
Comment : ASSERT DEPARTMENT 2, SAME MANAGER AS DEPARTMENT 1, NO ADMIN NEEDED
Request : ASSERT DEPT,DEPT(T(NR_DEPT(2)NM_DEPT(DEVELOPMENT)NM_LOC(ANTWERP)NR_EMP_MGR(1010)))
Reply   : 
Request : COMMIT
Reply   : 
Comment : ASSERT DEPARTMENT MANAGED BY AN ADMIN, SHOULD FAIL ON 15131
Request : ASSERT DEPT,DEPT(T(NR_DEPT(3)NM_DEPT(ACCOUNTING)NM_LOC(ANTWERP)NR_EMP_MGR(1011)))
Reply   : 201806116:115158:Employee 1011 does not work for any of the departments he manages (a.o. department 3).
Comment : FORCE VIOLATION OF 15113 - MANAGER WITH >2 DEPARTMENTS
Request : ASSERT DEPT,DEPT(T(NR_DEPT(3)NM_DEPT(SUPERFLUOUS)NM_LOC(ANTWERP)NR_EMP_MGR(1010)))
Reply   : 201806116:115113:Employee 1010 is the manager of 3 departments.  Maximum allowed is 2.
Comment : FORCE VIOLATION OF CONSTRAINT 15158
Request : CMD(ASSERT DEPT,DEPT(T(NR_DEPT(3)NM_DEPT(TESTING)NM_LOC(ANTWERP)NR_EMP_MGR(1020))))CMD(ASSERT EMP,EMP(T(NR_DEPT(1)DT_BORN(1963-01-20)NM_EMP(DEER)NR_EMP(1020)NM_JOB(MANAGER)AM_SAL_MTHLY(12500)NR_SGRD(4)DT_HIRED(2007-01-01)NM_USER(ADEER)NR_EMP_MGR(1001))))
Reply   : 201806116:115158:Employee 1020 does not work for any of the departments he manages (a.o. department 3).
Comment : FORCE VIOLATION OF CONSTRAINT 15106
Request : CMD(ASSERT DEPT,DEPT(T(NR_DEPT(3)NM_DEPT(TESTING)NM_LOC(ANTWERP)NR_EMP_MGR(1020))))CMD(ASSERT EMP,EMP(T(NR_DEPT(3)DT_BORN(1963-01-20)NM_EMP(DEARE)NR_EMP(1020)NM_JOB(MANAGER)AM_SAL_MTHLY(12500)NR_SGRD(4)DT_HIRED(2007-01-01)NM_USER(ADEARE)NR_EMP_MGR(1001))))
Reply   : 201806116:115106:Department 3 employs a manager but no administrator.
Comment : KEY DNAME,LOC ON DEPT
Request : ASSERT DEPT,DEPT(T(NR_DEPT(3)NM_DEPT(DEVELOPMENT)NM_LOC(ANTWERP)NR_EMP_MGR(1010)))
Reply   : 201806116:115012:Constraint 115012 violated.  Violating tuple attribute values are : __NR_EMP_MGR=1010,NM_DEPT=DEVELOPMENT,__NR_DEPT=2,NR_EMP_MGR=1010,NM_LOC=ANTWERP,NR_DEPT=3
Comment : A FEW OTHER DEPARTMENTS
Request : CMD(ASSERT DEPT,DEPT(T(NR_DEPT(3)NM_DEPT(TRAINING)NM_LOC(GABORONE)NR_EMP_MGR(1030))T(NR_DEPT(4)NM_DEPT(PR)NM_LOC(OUAGADOUGOU)NR_EMP_MGR(1040))))CMD(ASSERT EMP,EMP(T(NR_DEPT(3)DT_BORN(1963-01-01)NM_EMP(TAFT)NR_EMP(1030)NM_JOB(MANAGER)AM_SAL_MTHLY(12500)NR_SGRD(4)DT_HIRED(2007-01-01)NM_USER(ET)NR_EMP_MGR(1001))T(NR_DEPT(3)DT_BORN(1963-01-02)NM_EMP(BRONDY)NR_EMP(1031)NM_JOB(ADMIN)AM_SAL_MTHLY(3500)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(EB)NR_EMP_MGR(1030))T(NR_DEPT(4)DT_BORN(1963-01-01)NM_EMP(PUTIN)NR_EMP(1040)NM_JOB(MANAGER)AM_SAL_MTHLY(12500)NR_SGRD(4)DT_HIRED(2007-01-01)NM_USER(VP)NR_EMP_MGR(1001))T(NR_DEPT(4)DT_BORN(1963-01-02)NM_EMP(BLUSH)NR_EMP(1041)NM_JOB(ADMIN)AM_SAL_MTHLY(3500)NR_SGRD(1)DT_HIRED(2007-01-01)NM_USER(GB)NR_EMP_MGR(1040))))
Reply   : 
Request : COMMIT
Reply   : 
END
