Questão de Direito Tributário

Determinada secretaria de fazenda adota um sistema de controle e arrecadação que tem as seguintes relações: ● CONTRIBUINTE(CPF_CNPJ, Nome_RazaoSocial, Endereco, InscricaoEstadual); ● TRIBUTO(CodigoTributo, NomeTributo, AliquotaBase); ● LANCAMENTO_FISCAL(IDLancamento, DataVencimento, ValorDevido, CPF_CNPJ, CodigoTributo). Um agente fazendário de TI da referida secretaria deseja obter, em álgebra relacional, o nome e o valor devido de todos os contribuintes que possuem lançamentos fiscais referentes ao tributo denominado ICMS. Para tal fim, serão utilizadas as operações de seleção (σ), projeção (π) e junção (⋈). Sabe-se que a aplicação precoce de seleções é uma forma de otimização da consulta. A partir das informações da situação precedente e considerando que a ordem de execução das operações está indicada explicitamente pelos parênteses, assinale a opção que representa corretamente a expressão, em álgebra relacional, cujo resultado será o desejado pelo agente fazendário.