Comment : Charset=windows-1252
Request : CMD(DELETE CRS,CRS)CMD(DELETE OFFR,OFFR)CMD(DELETE OFFRTRN,OFFRTRN)
Reply   : 
Request : COMMIT
Reply   : 
Request : CMD(ASSERT CRS,CRS(T(CD_CRS(AMF01)QY_DAYS(3)TX_DESCR(Applied maths - Basic fundamentals)NM_CATEG(GEN))T(CD_CRS(AMF02)QY_DAYS(5)TX_DESCR(Applied maths - Advanced fundamentals)NM_CATEG(GEN))T(CD_CRS(AMF03)QY_DAYS(10)TX_DESCR(Applying maths in database design)NM_CATEG(DSG))T(CD_CRS(AMF04)QY_DAYS(5)TX_DESCR(Physical database design)NM_CATEG(BLD))))
Reply   : 
Request : COMMIT
Reply   : 
Comment : 15088 - too many days
Request : CMD(ASSERT CRS,CRS(T(CD_CRS(ERR01)QY_DAYS(30)TX_DESCR(Making mistakes in database design)NM_CATEG(GEN))))
Reply   : 201806116:115088:Duration 30 of course ERR01 is not within the valid range [1-15].
Comment : 15087 - wrong category
Request : CMD(ASSERT CRS,CRS(T(CD_CRS(ERR02)QY_DAYS(10)TX_DESCR(Making mistakes in database design)NM_CATEG(ERR))))
Reply   : 201806116:115087:Category ERR of course ERR02 is not a valid category.  Only valid values are {'DSG' 'GEN' 'BLD'}.
Comment : 15021 - BLD course too long
Request : CMD(ASSERT CRS,CRS(T(CD_CRS(ERR03)QY_DAYS(6)TX_DESCR(Making mistakes in database design)NM_CATEG(BLD))))
Reply   : 201806116:115021:Duration 6 of course ERR03 cannot exceed 5 because it is a 'Build' course.
Comment : 15136 - no department there
Request : ASSERT OFFR,OFFR(T(CD_CRS(AMF01)CD_STAT(SCHD)NM_LOC(MELBOURNE)DT_START(1965-05-01)QY_PRTCP_MAX(10)))
Reply   : 201806116:115136:Course AMF01 is offered in MELBOURNE at 1965-05-01, but no department is located there.

Comment : Transition constraint for new offerings
Request : ASSERT OFFR,OFFR(T(CD_CRS(AMF01)CD_STAT(CONF)NM_LOC(ANTWERP)DT_START(1965-05-01)QY_PRTCP_MAX(10)))
Reply   : 201806116:115123:Course offering AMF01 on 1965-05-01 has status CONF, but no assigned trainer.
Comment : Transition constraint for new offerings
Request : ASSERT OFFR,OFFR(T(CD_CRS(AMF01)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(1965-05-01)QY_PRTCP_MAX(10)))
Reply   : 

Comment : Tuple constraints on offerings
Request : UPDATE OFFR,OFFR,(CD_STAT(NAME(CON)))
Reply   : 201806116:115123:Course offering AMF01 on 1965-05-01 has status CON, but no assigned trainer.
Request : UPDATE OFFR,OFFR,(CD_STAT(NAME(CONF))QY_PRTCP_MAX(INT(101)))
Reply   : 201806116:115123:Course offering AMF01 on 1965-05-01 has status CON, but no assigned trainer.
Request : UPDATE OFFR,OFFR,(CD_STAT(NAME(CONF))QY_PRTCP_MAX(INT(5)))
Reply   : 201806116:115123:Course offering AMF01 on 1965-05-01 has status CON, but no assigned trainer.
Comment : 15123 - no confirmed courses without assigned trainer
Request : UPDATE OFFR,OFFR,(CD_STAT(NAME(CONF))QY_PRTCP_MAX(INT(10)))
Reply   : 201806116:115123:Course offering AMF01 on 1965-05-01 has status CONF, but no assigned trainer.
Comment : 15153 - Course offering before trainer hire date
Request : CMD(UPDATE OFFR,OFFR,(CD_STAT(NAME(CONF))QY_PRTCP_MAX(INT(10))))CMD(ASSERT OFFRTRN,OFFRTRN(T(CD_CRS(AMF01)DT_START(1965-05-01)NR_EMP_TRNR(1116))))
Reply   : 201806116:115165:The 1965-05-01 offering of course AMF01 is assigned to trainer 1116, but this trainer has not worked for the company for over a year, and the course offering is not being attended by a trainer he/she has previously gotten the same course from.

Comment : 15156 - Overlapping courses for same trainer
Request : ASSERT OFFR,OFFR(T(CD_CRS(AMF02)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2009-05-15)QY_PRTCP_MAX(6))T(CD_CRS(AMF03)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2009-05-17)QY_PRTCP_MAX(10)))
Reply   : 

Request : CMD(UPDATE OFFR,OFFR(T(CD_CRS(AMF02)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2009-05-15)QY_PRTCP_MAX(6))T(CD_CRS(AMF03)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2009-05-17)QY_PRTCP_MAX(10))),(CD_STAT(NAME(CONF))))CMD(ASSERT OFFRTRN,OFFRTRN(T(CD_CRS(AMF02)DT_START(2009-05-15)NR_EMP_TRNR(1115))T(CD_CRS(AMF03)DT_START(2009-05-17)NR_EMP_TRNR(1115))))
Reply   : 201806116:115165:The 2009-05-15 offering of course AMF02 is assigned to trainer 1115, but this trainer has not worked for the company for over a year, and the course offering is not being attended by a trainer he/she has previously gotten the same course from.

Comment : 15137 - Course offering not taught by a trainer
Request : ASSERT OFFR,OFFR(T(CD_CRS(AMF02)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2009-05-15)QY_PRTCP_MAX(6)))
Reply   : 
Request : CMD(UPDATE OFFR,OFFR(T(CD_CRS(AMF02)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2009-05-15)QY_PRTCP_MAX(6))),(CD_STAT(NAME(CONF))))CMD(ASSERT OFFRTRN,OFFRTRN(T(CD_CRS(AMF02)DT_START(2009-05-15)NR_EMP_TRNR(1114))))
Reply   : 201806116:115137:Employee 1114 is assigned as trainer in the 2009-05-15 offering of course AMF02, but no such employee is known, or that employee is not a trainer.

Comment : 15165 - Course offering taught by a trainer <1 year on the job
Request : CMD(UPDATE OFFR,OFFR(T(CD_CRS(AMF02)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2009-05-15)QY_PRTCP_MAX(6))),(CD_STAT(NAME(CONF))))CMD(ASSERT OFFRTRN,OFFRTRN(T(CD_CRS(AMF02)DT_START(2009-05-15)NR_EMP_TRNR(1115))))
Reply   : 201806116:115165:The 2009-05-15 offering of course AMF02 is assigned to trainer 1115, but this trainer has not worked for the company for over a year, and the course offering is not being attended by a trainer he/she has previously gotten the same course from.

Comment : A FEW GOOD CASES
Request : ASSERT OFFR,OFFR(T(CD_CRS(AMF01)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2010-05-05)QY_PRTCP_MAX(6))T(CD_CRS(AMF02)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2010-05-15)QY_PRTCP_MAX(6))T(CD_CRS(AMF03)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2010-05-25)QY_PRTCP_MAX(6))T(CD_CRS(AMF04)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2010-06-05)QY_PRTCP_MAX(6)))
Reply   : 
Request : CMD(UPDATE OFFR,OFFR(T(CD_CRS(AMF01)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2010-05-05)QY_PRTCP_MAX(6))T(CD_CRS(AMF02)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2010-05-15)QY_PRTCP_MAX(6))T(CD_CRS(AMF03)CD_STAT(SCHD)NM_LOC(ANTWERP)DT_START(2010-05-25)QY_PRTCP_MAX(6))),(CD_STAT(NAME(CONF))))CMD(ASSERT OFFRTRN,OFFRTRN(T(CD_CRS(AMF01)DT_START(2010-05-05)NR_EMP_TRNR(1115))T(CD_CRS(AMF02)DT_START(2010-05-15)NR_EMP_TRNR(1115))T(CD_CRS(AMF03)DT_START(2010-05-25)NR_EMP_TRNR(1115))))
Reply   : 
Request : COMMIT
Reply   : 

Comment : TEST THE "AT HOME BASE" CONSTRAINT : FIRST ONE SHOULD BE OK (10 DAYS IN OUAGADOUGOU VS 18 HOME)
Request : ASSERT OFFR,OFFR(T(CD_CRS(AMF03)CD_STAT(SCHD)NM_LOC(OUAGADOUGOU)DT_START(2010-07-05)QY_PRTCP_MAX(6)))
Reply   : 
Request : CMD(UPDATE OFFR,OFFR(T(CD_CRS(AMF03)CD_STAT(SCHD)NM_LOC(OUAGADOUGOU)DT_START(2010-07-05)QY_PRTCP_MAX(6))),(CD_STAT(NAME(CONF))))CMD(ASSERT OFFRTRN,OFFRTRN(T(CD_CRS(AMF03)DT_START(2010-07-05)NR_EMP_TRNR(1115))))
Reply   : 
Comment : TEST THE "AT HOME BASE" CONSTRAINT : THIS ONE SHOULD CAUSE VIOLATION (20 DAYS IN OUAGADOUGOU VS 18 HOME)
Request : ASSERT OFFR,OFFR(T(CD_CRS(AMF03)CD_STAT(SCHD)NM_LOC(OUAGADOUGOU)DT_START(2010-11-05)QY_PRTCP_MAX(6)))
Reply   : 
Request : CMD(UPDATE OFFR,OFFR(T(CD_CRS(AMF03)CD_STAT(SCHD)NM_LOC(OUAGADOUGOU)DT_START(2010-11-05)QY_PRTCP_MAX(6))),(CD_STAT(NAME(CONF))))CMD(ASSERT OFFRTRN,OFFRTRN(T(CD_CRS(AMF03)DT_START(2010-11-05)NR_EMP_TRNR(1115))))
Reply   : 201806116:115161:Trainer 1115 is trainer in courses off home base for more than half the time.  Total time 38 days, time at home base 18 days.
END
