Exercise 5.4.4: Let R(x, y, z) and S(x, y, z) be two relations. Write one or more Datalog rules to define each of the theta-joins R ACS, where C is one of the conditions of Exercise 5.4.2. For each of these conditions, interpret each arithmetic comparison as comparing an attribute of R on the left with an attribute of S on the right. For instance, I