Em um banco de dados, há a relação FUNC pertinente aos funcionários de uma empresa. Considere que nessa relação há os atributos Cpf, Sal e Dep, que são referentes ao CPF do funcionário, ao salário do funcionário e ao departamento em que o funcionário trabalha, respectivamente, e esses atributos não podem ter valor nulo. O comando SQL que retorna “o CPF dos funcionários, restrito àqueles que trabalham em departamento com mais de 5 (cinco) funcionários” é: