work for, located in, live in).
we consider a set V which consists of two types of variables The second set of variables R = {R ij } {1≤i,j≤n;i =j} is viewed as binary relations over E. for each pair of entities E i and E j , i = j, we use R ij and R ji to denote the (binary) relations (E i , E j ) and (E j , E i ) respectively.