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.

π Nome_RazaoSocial, ValorDevido (σ NomeTributo 
= 
'ICMS' ((CONTRIBUINTE ⋈ LANCAMENTO_FISCAL) 
⋈ TRIBUTO)) 

σ NomeTributo = 'ICMS' (π Nome_RazaoSocial, 
ValorDevido (CONTRIBUINTE ⋈ LANCAMENTO_FISCAL 
⋈ TRIBUTO)) 

σ NomeTributo = 'ICMS' (π Nome_RazaoSocial, 
ValorDevido (CONTRIBUINTE ⋈ LANCAMENTO_FISCAL 
⋈ TRIBUTO))

π Nome_RazaoSocial, ValorDevido 
((σ
NomeTributo 
= 
'ICMS' (TRIBUTO)) ⋈
LANCAMENTO_FISCAL ⋈ CONTRIBUINTE)

π Nome_RazaoSocial, ValorDevido ((CONTRIBUINTE 
⋈ LANCAMENTO_FISCAL) ⋈ σ NomeTributo = 'ICMS' 
(TRIBUTO))