Comment : Charset=windows-1252
Request : DELETE GRD,GRD
Reply   : 
Request : COMMIT
Reply   : 
Comment : NEXT THREE SHOULD GIVE VIOLATION OF 15085 - RANGE OF GRADE
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(-1)AM_LOWER_LIMIT(1000)AM_UPPER_LIMIT(5000)))
Reply   : 201806116:115085:Grade -1 is required to be in the range [1-99].
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(100)AM_LOWER_LIMIT(1000)AM_UPPER_LIMIT(5000)))
Reply   : 201806116:115085:Grade 100 is required to be in the range [1-99].
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(0)AM_LOWER_LIMIT(1000)AM_UPPER_LIMIT(5000)))
Reply   : 201806116:115085:Grade 0 is required to be in the range [1-99].
Comment : SHOULD GIVE VIOLATION OF 15014 - 500 BANDWIDTH
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(1)AM_LOWER_LIMIT(1000)AM_UPPER_LIMIT(1499)))
Reply   : 201806116:115014:Upper limit 1499. must be at least 500 more than lower limit 1000. in salary grade 1.
Comment : SHOULD GIVE VIOLATION OF 15015 - BONUS < LLIMIT
Request : ASSERT GRD,GRD(T(AM_BONUS(1000)NR_SGRD(1)AM_LOWER_LIMIT(1000)AM_UPPER_LIMIT(1500)))
Reply   : 201806116:115015:Lower limit 1000. must be higher than the bonus 1000. in salary grade 1.
Comment : SHOULD GIVE VIOLATION OF 15086 - BONUS > -1
Request : ASSERT GRD,GRD(T(AM_BONUS(-1)NR_SGRD(1)AM_LOWER_LIMIT(1000)AM_UPPER_LIMIT(1500)))
Reply   : 201806116:115086:Bonus -1. cannot be negative.
Comment : SHOULD BE OK
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(1)AM_LOWER_LIMIT(1000)AM_UPPER_LIMIT(5000)))
Reply   : 
Request : COMMIT
Reply   : 
Comment : SHOULD GIVE VIOLATION OF 15122
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(2)AM_LOWER_LIMIT(8000)AM_UPPER_LIMIT(15000)))
Reply   : 201806116:115122:Both the salary grades with lower limit 1000. and 8000. have no overlapping lower grade.  This is allowed only for the lowest salary grade.
Comment : SHOULD BE OK
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(2)AM_LOWER_LIMIT(4000)AM_UPPER_LIMIT(15000)))
Reply   : 
Request : COMMIT
Reply   : 
Comment : SHOULD GIVE VIOLATION OF 15121
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(3)AM_LOWER_LIMIT(3000)AM_UPPER_LIMIT(5500)))
Reply   : 201806116:115121:Grade limits [3000.-5500.] and [1000.-5000.] cannot both overlap with [4000.-15000.] in grade 2.
Comment : FIRST THREE SHOULD GIVE KEY VIOLATIONS
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(3)AM_LOWER_LIMIT(4000)AM_UPPER_LIMIT(15000)))
Reply   : 201806116:115017:Constraint 115017 violated.  Violating tuple attribute values are : AM_UPPER_LIMIT=15000.,__NR_SGRD=3,NR_SGRD=2,AM_BONUS=.0,AM_LOWER_LIMIT=4000.,__AM_LOWER_LIMIT=4000.,__AM_BONUS=.0
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(3)AM_LOWER_LIMIT(4001)AM_UPPER_LIMIT(15000)))
Reply   : 201806116:115121:Grade limits [4000.-15000.] and [1000.-5000.] cannot both overlap with [4001.-15000.] in grade 3.
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(3)AM_LOWER_LIMIT(4000)AM_UPPER_LIMIT(14999)))
Reply   : 201806116:115120:Grade limits [4000.-15000.] of grade 2 cannot completely contain [4000.-14999.] of grade 3.
Comment : SHOULD GIVE VIOLATION OF 15120
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(3)AM_LOWER_LIMIT(4001)AM_UPPER_LIMIT(14999)))
Reply   : 201806116:115121:Grade limits [4000.-15000.] and [1000.-5000.] cannot both overlap with [4001.-14999.] in grade 3.
Comment : SHOULD BE OK
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(4)AM_LOWER_LIMIT(12000)AM_UPPER_LIMIT(25000)))
Reply   : 
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(5)AM_LOWER_LIMIT(20000)AM_UPPER_LIMIT(75000)))
Reply   : 
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(6)AM_LOWER_LIMIT(70000)AM_UPPER_LIMIT(750000)))
Reply   : 
Request : COMMIT
Reply   : 
Comment : TEST WHAT OUR VERSION OF THE CONSTRAINTS DO IN JONATHAN'S CASE
Request : ASSERT GRD,GRD(T(AM_BONUS(0)NR_SGRD(7)AM_LOWER_LIMIT(100000)AM_UPPER_LIMIT(800000))T(AM_BONUS(0)NR_SGRD(8)AM_LOWER_LIMIT(200000)AM_UPPER_LIMIT(900000)))
Reply   : 201806116:115121:Grade limits [100000.-800000.] and [70000.-750000.] cannot both overlap with [200000.-900000.] in grade 8.
END
