Search

LEARN-SQL is a tool that we are using since three years ago in several database courses, and that has shown its positive effects in the learning of different database issues. This tool allows proposing remote questionnaires to students, which are automatically corrected giving them a feed-back and promoting their self-learning and self-assessment of their work. However, this tool as it is currently used does not has the possibility to propose structured exercises to teams that promote their cooperative learning. In this paper, we present our adaptation of the LEARN-SQL tool for allowing some Computer-Supported Collaboration Learning techniques.

Els canvis recents en els plans d'estudis de la UPC i la UOC tenen en compte el nou espai europeu d'educació superior (EEES). Una de les conseqüències directes d'aquests canvis és la necessitat d'afitar i optimitzar el temps dedicat a les activitats d'aprenentatge que requereixen la participació activa de l'estudiant i que es realitzen de manera continuada durant el semestre. A més, l'EEES destaca la importància de les pràctiques, les relacions interpersonals i la capacitat de treballar en equip, suggerint la reducció de classes magistrals i l'augment d'activitats que fomentin tant el treball personal de l'estudiant com el cooperatiu. En l'àmbit de la docència informàtica d'assignatures de bases de dades el problema és especialment complex degut a que els enunciats de les proves no acostumen a tenir una solució única. Nosaltres hem desenvolupat una eina, anomenada LEARN-SQL, l'objectiu de la qual és corregir automàticament qualsevol tipus de sentència SQL (consultes, actualitzacions, procediments emmagatzemats, disparadors, etc ...) i discernir si la resposta aportada per l'estudiant és o no és correcta amb independència de la solució concreta que aquest proposi. D'aquesta manera potenciem l'autoaprenentatge i l'autoavaluació, fent possible la semipresencialitat supervisada i facilitant l'aprenentatge individualitzat segons les necessitats de cada estudiant. Addicionalment, aquesta eina ajuda als professors a dissenyar les proves d'avaluació, permetent també la opció de revisar qualitativament les solucions aportades pels estudiants. Per últim, el sistema proporciona ajuda als estudiants per a que aprenguin dels seus propis errors, proporcionant retroalimentació de qualitat. En aquest article presentem una proposta d’adaptació per les assignatures de bases de dades a l’EEES amb l’ús de LEARN-SQL a les sessions de laboratori i d’algunes tècniques d’aprenentatge cooperatiu a les sessions de problemes.

A query is satisfiable if there is at least one consistent instance of the database in which it has a non-empty answer. Defining queries on a database schema and checking their satisfiability can help the database designer to be sure whether the produced database schema is what was intended. The formulation of such queries may easily require the use of some arithmetic comparisons or negated expressions. Unfortunately, checking the satisfiability of this class of queries on a database schema that most likely have some integrity constraints (e.g., keys, foreign keys, Boolean checks) is, in general, undecidable. However, although the problem is undecidable for such a class of schemas and queries, it may not be so for a particular query satisfiability check. In this paper, we propose to perform a termination test as a previous step to query satisfiability checking. If positive, the termination test guarantees that the corresponding query satisfiability check will terminate. We assume the CQC method is the underlying query satisfiability checking method; to the best of our knowledge, it is the only method of this kind able to deal with schemas and queries as expressive as the ones we consider.

Los cambios recientes en los planes de estudio de la UPC y la UOC tienen en cuenta el nuevo espacio europeo de educación superior (EEES). Una de las consecuencias directas de estos cambios es la necesidad de acotar y optimizar el tiempo a dedicar a las actividades de aprendizaje que requieren la participación activa del estudiante y que se realizan de forma continuada durante el semestre. En el ámbito de la docencia informática de asignaturas de bases de datos el problema es especialmente complejo debido a que los enunciados de las pruebas no acostumbran a tener una solución única. Nosotros hemos desarrollado una herramienta, llamada LEARN-SQL, cuyo objetivo es corregir automáticamente cualquier tipo de sentencia SQL (consultas, actualizaciones, procedimientos almacenados, disparadores etc.) y discernir si la respuesta aportada por el estudiante es o no correcta con independencia de la solución concreta que este proponga. Además esta herramienta ayuda a los profesores a diseñar las pruebas de evaluación, permitiendo también la opción de revisar cualitativamente las soluciones aportadas por los estudiantes. Por último, el sistema proporciona ayuda a los estudiantes para que aprendan de sus propios errores, proporcionando feedback de calidad.

Schema mappings define relationships between schemas in a declarative way. We demonstrate MVT, a mapping validation tool that allows the designer to ask whether the mapping has certain desirable properties. The answers to these questions will provide information on whether the mapping adequately matches the intended needs and requirements. MVT is able to deal with a highly expressive class of mappings and database schemas, which allows the use of negations, order comparisons and null values. The tool does not only provide a Boolean answer as test result, but also a feedback for that result. Depending on the tested property and on the test result, the provided feedback can be in the form of example schema instances, or in the form of an explanation, that is, highlighting the mapping assertions and schema constraints responsible for getting such a result.

En este artículo se describen los cambios efectuados en algunas asignaturas del área de bases de datos en dos vertientes: organizativa y tecnológica. En la primera, el objetivo principal ha sido la introducción de técnicas de aprendizaje cooperativo. En la segunda, el objetivo ha sido potenciar el autoaprendizaje y el autoevaluación a través de la herramienta LEARN-SQL. Los cambios relacionados con las dos vertientes se han aplicado, hasta el momento, a asignaturas distintas. Para finalizar el artículo, se hace una valoración de los resultados obtenidos, y se trazan las líneas de futuros cambios orientados a la combinación de las dos vertientes.

Este artículo presenta una extensión de nuestro método CQC destinada a comprobar la contención de dos consultas en el contexto de una BD relacional que puede contener valores nulos en los atributos de sus tuplas. Teniendo en cuenta que todos los SGBDs admiten el uso de valores nulos y que la bases de datos "reales" contienen valores nulos, comprobar la contención de consultas en este contexto es una cuestión muy importante de cara a la aplicación práctica. Al igual que el método original, esta extensión permite tratar con restricciones de integridad, negaciones en predicados EDB y IDB, y predicados built-in. Además de para comprobar la contención de consultas, se puede aplicar el método y esta extensión a la validación de esquemas de BD relacionales con valores nulos.