tuple relational calculus problems