Relational tuple calculus and domain calculus difference?