Redirecting to Domain relational calculus