Que afirmação é verdadeira sobre uma junção natural?

Alternativa D - Colunas com os mesmos nomes devem ter tipos de dados compatíveis.

Explicação Didática

Uma Junção Natural (Natural Join) é um operador em álgebra relacional e SQL que combina tabelas automaticamente com base nas colunas que possuem o mesmo nome em ambas as tabelas.

Para que essa operação funcione corretamente e retorne resultados lógicos, os valores nas colunas de junção precisam poder ser comparados entre si. Isso exige que os tipos de dados sejam compatíveis.

Por que as outras alternativas estão incorretas?

• Opção A (Mesmo tipo de dados): Embora seja comum os tipos serem iguais, a exigência estrita de serem exatamente o mesmo tipo é menos precisa do que "compatíveis". Sistemas de banco de dados frequentemente permitem comparações entre tipos compatíveis (ex: INTEGER e BIGINT), mesmo não sendo idênticos.
• Opção B (Não podem ser incluídas no SELECT): É falso. Você pode incluir as colunas na cláusula SELECT. A diferença é que, após a junção natural, as colunas duplicadas são fundidas em uma única coluna no resultado, então você a referencia apenas uma vez.
• Opção C (Não devem ter tipos idênticos): É falso. Geralmente espera-se que os tipos sejam similares ou idênticos para garantir a integridade dos dados unidos.

Resumo Técnico

Portanto, a afirmação correta é que as colunas com os mesmos nomes devem ter tipos de dados compatíveis.