qbe and domain relational calculus john eagle 366852