Optimization Project home page.

ODB Tools

---

The University Integrity Constraint Rules

---

• rule1 (on class Professor) says that all professors that are "Full" earn more then $ 60K.

• rule2 (on class Employee) says that each employee whose salary is less than $ 30K is a TA.

• rule3 (on class Professor) says that each Professor who assists at least a Section with level greather then 7 is a "Full" Professor.

rule rule_1 forall X in Professor: X.rank = "Full"
   then            X.annual_salary >= 60000 ;

rule rule_2 forall X in Employee:  X.annual_salary < 30000
   then            X in TA  ;

rule rule_3 forall X in Professor: exists S in X.assists: S.level > 7
   then            X.rank = "Full" ;