Consider a relation R(A, B). Convert the following relational algebra query into tuple calculus.
\(\Pi _A(\sigma _{B = 20}(r))\)
1
{t | ∃ p ∈ r (p[A] ∧ p[B] = 20)}
2
{t | (t[A] = p[A] ∧ p[B] = 20)}
3
{t | ∃ p ∈ r (t[A] = p[A] ∧ p[B] = 20)}
4
{t | ∃ p ∈ r (t[A∧B] = 20)}