Pero eso se podría manejar a través de la programación, como había dicho anteriormente. Creando variables o constantes que identifiquen a cada valor.
Siguiendo tu mismo ejemplo, y programando en php seria algo como:
Código:
$tipo = array(
1 => "Profesor titular",
2 => "Profesor adjunto",
3 => "Jefe de trabajos prácticos"
);
Entonces, esa información, que no será modificada por el usuario, se despliega y el selecciona la opción correcta, y allí se insertaría el índice correspondiente, y al querer saber luego que tipo es se consulta esa variable.
Además que es seria eficiente que obtener y mostrar los datos haciendo una consulta a la misma base de datos, ya que la información ya la tengo y es cosa de mostrarla.