Digamos que temos três entidades em nosso ambienteProfessor, Aluna eCurso.

Cada professor tem (ensina) 1 ou mais cursos e cada curso é oferecido por 0 ou mais professoresCada Aluno fez 1 ou mais Cursos e cada Curso é tirado por 0 ou mais AlunosCada professor tem 0 ou mais alunos e cada aluno tem 1 ou mais professores

Nessas relações, cada relacionamento pode ser inferido dos outros dois, por exemplo, para saber quais alunos estão sendo ensinados pelo professor T1, percorrer a relação entreProfessor e Curso para ver quais Cursos estão sendo ensinados pelo professor T1, e depois passar pela relação entreCurso e Aluno para ver quais alunos fizeram esses cursos. Estes alunos são aqueles que estão sendo ensinados pelo professor T1.

Portanto, não precisamos de um relacionamento explícito entreAluno e professor, porque "conceitualmente" esta relação existe.

Finalmente a questão é:

EmDesign conceptual é necessário mostrar todos os três relacionamentos?

E como uma informação extra, como seria emDesign Lógico (projetar tabelas e relacionamentos de banco de dados), caso o relacionamento permaneça comorelação inferida ou deveria ser explicitamente definido?