Which ONE of the following tuple relational calculus queries returns the name of the players who play for the team having $tname$ as 'MI'?

To retrieve the names of players who play for the team with tname = \text{'MI^{\prime}} using Tuple Relational Calculus (TRC):

1. The target tuple variable $p$ must represent a tuple from the relation players, since we are selecting player names ($p.pname$) from players ($p \in players$).

2. We need to check the condition on the corresponding team, which requires an existential quantifier $\exists t$ over the teams relation ($t \in teams$).

3. The join condition between the player and their team is $p.tid = t.tid$.

4. The team selection condition is t.tname = \text{'MI^{\prime}}.

Combining these conditions gives:

• Option (A) correctly defines $p \in players$, joins with $t \in teams$ via $p.tid = t.tid$, and checks t.tname = \text{'MI^{\prime}}.

• Option (B) incorrectly specifies $p \in teams$ while selecting $p.pname$, but $pname$ is not an attribute of teams.

• Option (C) lacks the join condition $p.tid = t.tid$.

• Option (D) incorrectly specifies $p \in teams$ and lacks the join condition.