We use N 1 and N 2 to denote the entity variables of a relation R ij .
in addition, we define a set of constraints on the outcomes of the variables in constraint values of the first argument of a relation.