In tuple relational calculus $P1\to P2$ is equivalent to
64.3k questions
77.9k answers
244k comments
80.0k users