Digamos que tenemos tres entidades en nuestro entorno,Profesor, Estudiante yCurso.

Cada maestro tiene (enseña) 1 o más cursos y cada curso es ofrecido por 0 o más maestrosCada estudiante ha tomado 1 o más cursos y cada curso es tomado por 0 o más estudiantesCada maestro tiene 0 o más alumnos y cada alumno tiene 1 o más maestros

En estas relaciones, cada relación podría inferirse de las otras dos, por ejemplo, para saber qué estudiantes están siendo enseñados por el Profesor T1, repase la relación entreProfesor y curso para ver qué cursos está impartiendo el profesor T1, y luego repasar la relación entreCurso y estudiante Para ver qué estudiantes han tomado estos cursos. Estos estudiantes son los que están siendo enseñados por el profesor T1.

Así que no necesitamos una relación explícita entreEstudiante y profesor, porque "Conceptualmente" existe esta relación.

Finalmente La pregunta es:

EnDiseño conceptual ¿Es necesario mostrar las tres relaciones?

Y como información adicional, ¿cómo estaría enDiseño logico (diseño de tablas y relaciones de base de datos), si la relación permanece como unrelación inferida ¿O debería definirse explícitamente?