Segundo Elmasri e Navalhe (2019), em SQL há uma função que é usada para verificar se o resultado de uma consulta aninhada correlacionada é vazio (não contém tuplas) ou não. O resultado dessa função é um valor booleano true, se o resultado da consulta aninhada tiver pelo menos uma tupla, ou false, se o resultado da consulta aninhada não tiver tuplas. Assim, assinale a opção que apresenta o nome dessa função.