Consider the relation employee(name, sex, supervisorName) with name as the key, supervisorName gives the name of the supervisor of the employee under consideration. What does the following Tuple Relational Calculus query produce?
$\left\{e.name \mid employee(e) \wedge \left(\forall x\right)\left[\neg employee\left(x \right) \vee x.supervisorName \neq e.name \vee x.sex = ``male" \right]\right\}$
- Names of employees with a male supervisor.
- Names of employees with no immediate male subordinates.
- Names of employees with no immediate female subordinates.
- Names of employees with a female supervisor.