Redirecting to Tuple relational calculus