Imagine que você está desenvolvendo um sistema acadêmico para sua instituição. A equipe de modelagem identificou, no modelo de dados existente, que há uma relação importante entre os conceitos aluno, disciplina, turma e professor. Nessa modelagem, ficou definido, entre as entidades citadas, que o conceito de uma turma é uma relação com vários alunos, uma disciplina e um professor.

Considere o seguinte modelo de banco de dados relacional a seguir:

aluno (id aluno, nome, matricula)
disciplina (id disciplina, nome_disciplina, codigo)
professor (id professor, nome_professor)
turma (id_turma, id_aluno, id_disciplina, id_professor, semestre, ano)

A consulta SQL que lista o nome de todos os professores distintos que lecionam para um aluno específico com matrícula 12345 é