Documentos de soporte para una práctica interuniversitaria de bases de datos

Este informe recoge la documentación generada para llevar a cabo una práctica interuniversitaria en el área de base de datos durante los cursos 09/10 y 10/11. Se ha desarrollado una experiencia entre la UPV/EHU y la Universidad de la Rioja incorporando de forma sistemática la telecolaboración, formando equipos de trabajo con estudiantes de las dos universidades que no se conocen entre sí y han trabajado a distancia. El proyecto se ha realizado en el ámbito de dos asignaturas de bases de datos concretas, una de cada universidad, donde las similitudes y diferencias entre ambas producen equipos heterogéneos. Los alumnos han colaborado en las diferentes fases de la creación de una base de datos, desde la invención de unos requisitos hasta la realización de consultas. Para el desarrollo de esta práctica se han elaborado enunciados detallados para cada fase con ejemplos del trabajo a realizar. Además se ha acordado una rúbrica de evaluación y una encuesta para valorar la experiencia. En el presente documento se recopila dicho material de soporte.

Los programas While: bases para una teoría de la computabilidad

La Teoría de la Computabilidad estudia los límites teóricos de los sistemas computacionales. Uno de sus objetivos centrales consiste en clasificar los problemas en computables e incomputables, donde llamamos computable a un problema si admite solución informática. Para desarrollar estos resultados el modelo abstracto de computador más utilizado históricamente es la Máquina de Turing. Los estudiantes de Ingeniería Informática pueden percibir cierta lejanía entre el modelo teórico y los computadores reales por lo que es más adecuado utilizar un modelo más cercano a la programación como son los programas-while. Los Programas-while permiten resolver los mismos problemas que las máquinas de Turing, pero en cambio son mucho más sencillos de utilizar, sobre todo para personas que tienen una experiencia previa en la informática real, pues toman la forma de lenguaje imperativo clásico. Este texto además utiliza los Programas-while aprovechando sus ventajas y reformulándolos de manera que la computación quede definida en términos de manipulación de símbolos arbitrarios, algo que está mucho más en concordancia con la realidad informática. Además de explicar en detalle qué son los programas while y cómo se utilizan, se justifica por qué no es necesario incorporar otras instrucciones o tipos de datos.