Graphic summary
  • Show / hide key
  • Information


Scientific and technological production
  •  

1 to 50 of 74 results
  • Modelització i Processament de la Informació (MPI)

     Casanovas Garcia, Jose; Olive Ramon, Antoni; Sancho Samsó, Maria Ribera; Aluja Banet, Tomas; Barcelo Bugeda, Jaime; Urpi Tubella, Antoni; Abello Gamazo, Alberto; Gómez Seoane, Cristina; Romero Moral, Oscar; Raventós Pagès, Ruth; Farré Tost, Carles; Codina Sancho, Esteve; Montero Mercade, Lidia; Guasch Petit, Antonio; Fonseca Casas, Pau; Estañol Lamarca, Montserrat; Oriol Hilari, Xavier; Teniente Lopez, Ernest
    Competitive project

     Share

  • Improving learning in a database course using collaborative learning techniques

     Martin Escofet, Carme; Urpi Tubella, Antoni; Casañ Guerrero, Maria Jose; Burgues Illa, Xavier; Quer, Carme; Rodríguez González, M. Elena; Abello Gamazo, Alberto
    International journal of engineering education
    Vol. 29, num. 4, p. 986-997
    Date of publication: 2013
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    In recent years European universities have been adapting their curricula to the new European Higher Education Area, which implies the use of active learning methodologies. In most database courses, project-based learning is the active methodology that is widelyused, but the authors of this paper face context constraints against its use. This paper presents a quantitative and qualitative analysis of the results obtained from the use of collaborative learning in both cross-curricula competences and subject-specific ones in the ``Introduction to Databases¿¿ course at the Barcelona School of Informatics. Relevantly, this analysis demonstrates the positive impact that this methodology had, allowing us to conclude that it is not only project-based learning that is suitable for these kinds of courses.

  • Automated reasoning on UML conceptual schemas with derived information and queries

     Farré Tost, Carles; Queralt Calafat, Anna; Rull Fort, Guillem; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Information and software technology
    Vol. 55, num. 9, p. 1529-1550
    DOI: 10.1016/j.infsof.2013.02.010
    Date of publication: 2013-09-04
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    Context: It is critical to ensure the quality of a software system in the initial stages of development, and several approaches have been proposed to ensure that a conceptual schema correctly describes the user¿s requirements. Objective: The main goal of this paper is to perform automated reasoning on UML schemas containing arbitrary constraints, derived roles, derived attributes and queries, all of which must be specified by OCL expressions. Method: The UML/OCL schema is encoded in a first order logic formalisation, and an existing reasoning procedure is used to check whether the schema satisfies a set of desirable properties. Due to the undecidability of reasoning in highly expressive schemas, such as those considered here, we also provide a set of conditions that, if satisfied by the schema, ensure that all properties can be checked in a finite period of time. Results: This paper extends our previous work on reasoning on UML conceptual schemas with OCL constraints by considering derived attributes and roles that can participate in the definition of other constraints, queries and derivation rules. Queries formalised in OCL can also be validated to check their satisfiability and to detect possible equivalences between them. We also provide a set of conditions that ensure finite reasoning when they are satisfied by the schema under consideration. Conclusion: This approach improves upon previous work by allowing automated reasoning for more expressive UML/OCL conceptual schemas than those considered so far.

  • Validation of schema mappings with nested queries

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Computer Science and Information Systems
    Vol. 10, num. 1, p. 79-104
    DOI: 10.2298/CSIS120713042R
    Date of publication: 2013-01
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    With the emergence of the Web and the wide use of XML for representing data, the ability to map not only flat relational but also nested data has become crucial. The design of schema mappings is a semi-automatic process. A human designer is needed to guide the process, choose among mapping candidates, and successively refine the mapping. The designer needs a way to figure out whether the mapping is what was intended. Our approach to mapping validation allows the designer to check whether the mapping satisfies certain desirable properties. In this paper, we focus on the validation of mappings between nested relational schemas, in which the mapping assertions are either inclusions or equalities of nested queries. We focus on the nested relational setting since most XML¿s Document Type Definitions (DTDs) can be represented in this model. We perform the validation by reasoning on the schemas and mapping definition. We take into account the integrity constraints defined on both the source and target schema. We consider constraints and mapping¿s queries which may contain arithmetic comparisons and negations. This class of mapping scenarios is significantly more expressive than the ones addressed by previous work on nested relational mapping validation. We encode the given mapping scenario into a single flat database schema, so we can take advantage of our previous work on validating flat relational mappings, and reformulate each desirable property check as a query satisfiability problem.

  • Access to the full text
    Validation of schema mappings with nested queries  Open access

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Date: 2012-10-11
    Report

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    With the emergence of the Web and the wide use of XML for representing data, the ability to map not only flat relational but also nested data has become crucial. The design of schema mappings is a semi-automatic process. A human designer is needed to guide the process, choose among mapping candidates, and successively refine the mapping. The designer needs a way to figure out whether the mapping is what was intended. Our approach to mapping validation allows the designer to check whether the mapping satisfies certain desirable properties. In this paper, we focus on the validation of mappings between nested relational schemas, in which the mapping assertions are either inclusions or equalities of nested queries. We focus on the nested relational setting since most XML’s Document Type Definitions (DTDs) can be represented in this model. We perform the validation by reasoning on the schemas and mapping definition. We take into account the integrity constraints defined on both the source and target schema.

  • Access to the full text
    Avaluació de la incorporació d'activitats d'aprenentatge actiu i cooperatiu a les assignatures de bases de dades de la Facultat d'Informàtica de Barcelona  Open access

     Martin Escofet, Carme; Urpi Tubella, Antoni; Abello Gamazo, Alberto; Burgues Illa, Xavier; Casañ Guerrero, Maria Jose; Quer, Carme; Rodriguez Gonzalez, M. Elena
    Congrés Internacional de Docència Universitària i Innovació
    p. 1-38
    Presentation's date: 2012-07-04
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    Una de les idees principals del canvi al nou Espai Europeu d'Educació Superior és que les assignatures no es redueixin simplement a un conjunt de classes magistrals, sinó que les classes incorporin activitats d'aprenentatge on el paper de l'estudiant sigui molt més actiu. L'objectiu és que els estudiants no adquireixin simplement uns coneixements teòrics sinó una sèrie de competències que millorin les seves actituds i que d'aquesta manera surtin més preparats per adaptar-se fàcilment al mercat laboral. En aquest sentit hem introduït a les assignatures de l'àmbit de bases de dades, tècniques d'aprenentatge cooperatiu fent servir activitats en equip, presencials i semi-presencials, incrementant, d'aquesta manera, el tant per cent de classes on s'està fent aquest tipus d'aprenentage. Els autors hem desenvolupat una eina de software, anomenada LEARN-SQL, que permet el treball semi-presencial supervisat, l'autoavaluació de l'estudiant i l'aprenentatge actiu i individualitzat. En aquest article presentem l¿adaptació de LEARN-SQL per donar suport, complert i còmode, a la gestió d'equips d'estudiants i dels treballs fets per part de l'equip per a que siguin accessibles a tots els membres de l'equip i als professors. Com a indicadors dels beneficis de les millores introduïdes fins al moment, tenim: les notes dels estudiants que han cursat les assignatures amb i sense les noves tècniques d¿aprenentatge; els resultats de les enquestes que hem fet als estudiants i les opinions dels professors. Amb les notes de les assignatures hem realitzat un estudi estadístic on es pot comprovar que els resultats obtinguts amb tècniques d'aprenentatge cooperatiu són quantitativament millors que sense. Els resultats de les enquestes i les opinions dels professors corroboren la part de satisfacció més qualitativa. D'altra banda, també hem ampliat LEARN-SQL amb suport automatitzat per als exercicis de programació amb accés a bases de dades, càlcul de costos de consultes i àlgebra relacional.

    Una de les idees principals del canvi al nou Espai Europeu d'Educació Superior és que les assignatures no es redueixin simplement a un conjunt de classes magistrals, sinó que les classes incorporin activitats d'aprenentatge on el paper de l'estudiant sigui molt més actiu. L'objectiu és que els estudiants no adquireixin simplement uns coneixements teòrics sinó una sèrie de competències que millorin les seves actituds i que d'aquesta manera surtin més preparats per adaptar-se fàcilment al mercat laboral. En aquest sentit hem introduït a les assignatures de l'àmbit de bases de dades, tècniques d'aprenentatge cooperatiu fent servir activitats en equip, presencials i semi-presencials, incrementant, d'aquesta manera, el tant per cent de classes on s'està fent aquest tipus d'aprenentage. Els autors hem desenvolupat una eina de software, anomenada LEARN-SQL, que permet el treball semi-presencial supervisat, l'autoavaluació de l'estudiant i l'aprenentatge actiu i individualitzat. En aquest article presentem l’adaptació de LEARN-SQL per donar suport, complert i còmode, a la gestió d'equips d'estudiants i dels treballs fets per part de l'equip per a que siguin accessibles a tots els membres de l'equip i als professors. Com a indicadors dels beneficis de les millores introduïdes fins al moment, tenim: les notes dels estudiants que han cursat les assignatures amb i sense les noves tècniques d’aprenentatge; els resultats de les enquestes que hem fet als estudiants i les opinions dels professors. Amb les notes de les assignatures hem realitzat un estudi estadístic on es pot comprovar que els resultats obtinguts amb tècniques d'aprenentatge cooperatiu són quantitativament millors que sense. Els resultats de les enquestes i les opinions dels professors corroboren la part de satisfacció més qualitativa. D'altra banda, també hem ampliat LEARN-SQL amb suport automatitzat per als exercicis de programació amb accés a bases de dades, càlcul de costos de consultes i àlgebra relacional.

  • Validation of Mappings between Data Schemas  Open access

     Rull Fort, Guillem
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    En esta tesis, presentamos un nuevo enfoque para validar mappings entre esquemas de datos que permite al diseñador comprobar si el mapping satisface o no ciertas propiedades deseables. La respuesta que obtiene el diseñador no se limita a un simple valor booleano, sino que dependiendo del resultado de la comprobación obtendrá un ejemplo/contraejemplo que ilustre ese resultado, o bien se le indicará el conjunto de restricciones de integridad de los esquemas y formulas del mapping responsables de ese resultado. Una de las características principales de nuestro enfoque es que es capaz de tratar una clase muy expresiva de mappings y esquemas relacionales. En particular, nuestro enfoque es capaz de tratar con formulas de mapping consistentes en inclusiones y igualdades de consultas, además de permitir el uso de negaciones y comparaciones aritméticas tanto en las propias formulas del mapping como en las vistas definidas en los esquemas. Nuestro enfoque también permite tratar restricciones de integridad, las cuales pueden estar definidas no solo sobre las tablas sino también sobre las vistas de los esquemas. Dado que razonar sobre este tipo de mappings y esquemas es, desafortunadamente, indecidible, proponemos realizar un test de terminación previo a la validación del mapping. Si el test de terminación da una respuesta positiva, entonces podremos estar seguros de que la posterior comprobación de la propiedad deseable correspondiente terminará. Finalmente, también extendemos nuestro enfoque más allá del caso relacional y lo aplicamos al contexto de mappings entre esquemas XML.

    In this thesis, we present a new approach to the validation of mappings between data schemas. It allows the designer to check whether the mapping satisfies certain desirable properties. The feedback that our approach provides to the designer is not only a Boolean answer, but either a (counter)example for the (un)satisfiability of the tested property, or the set of mapping assertions and schema constraints that are responsible for that (un)satisfiability. One of the main characteristics of our approach is that it is able to deal with a very expressive class of relational mapping scenarios; in particular, it is able to deal with mapping assertions in the form of query inclusions and query equalities, and it allows the use of negation and arithmetic comparisons in both the mapping assertions and the views of the schemas; it also allows for integrity constraints, which can be defined not only over the base relations but also in terms of the views. Since reasoning on the class of mapping scenarios that we consider is, unfortunately, undecidable, we propose to perform a termination test as a pre-validation step. If the answer of the test is positive, then checking the corresponding desirable property will terminate. We also go beyond the relational setting and study the application of our approach to the context of mappings between XML schemas.

  • El llenguatge SQL II

     Casañ Guerrero, Maria Jose; Rodriguez Gonzalez, M. Elena; Urpi Tubella, Antoni
    Date of publication: 2011-02
    Book chapter

     Share Reference managers Reference managers Open in new window

  • Adaptació de LEARN-SQL al nou Espai Europeu d'Educació Superior (EEES)

     Martin Escofet, Carme; Urpi Tubella, Antoni
    Jornada d'Innovació Docent UPC
    Presentation's date: 2011-02-02
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Adaptació de LEARN-SQL a l'Espai Europeu d'Educació Superior (EEES)  Open access

     Urpi Tubella, Antoni; Abello Gamazo, Alberto; Burgues Illa, Xavier; Casañ Guerrero, Maria Jose; Martin Escofet, Carme; Quer, Carme; Rodriguez Gonzalez, M. Elena
    Jornada d'Innovació Docent UPC
    Presentation's date: 2011-02-02
    Presentation of work at congresses

    Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

  • Adaptació de LEARN-SQL al nou Espai Europeu d¿Educació Superior (EEES)

     Urpi Tubella, Antoni
    Jornada d'Innovació Docent UPC
    Presentation's date: 2011-02-02
    Presentation of work at congresses

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Access to the full text
    A schema-only approach to validate XML schema mappings  Open access

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Date: 2010-03-19
    Report

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    Since the emergence of the Web, the ability to map XML data between different data sources has become crucial. Defining a mapping is however not a fully automatic process. The designer needs to figure out whether the mapping is what was intended. Our approach to this validation consists of defining and checking certain desirable properties of mappings. We translate the XML schemas and the mapping into first-order logic formalism and apply a reasoning mechanism to check the desirable properties automatically, without assuming any particular instantiation of the schemas.

  • Access to the full text
    Testing termination of query satisfiability checking on expressive database schemas  Open access

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Date: 2010-03-19
    Report

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    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.

  • AuRUS: Automated Reasoning on UML/OCL Schemas

     Queralt Calafat, Anna; Rull Fort, Guillem; Teniente Lopez, Ernest; Farré Tost, Carles; Urpi Tubella, Antoni
    International Conference on Conceptual Modeling
    p. 438-444
    DOI: 10.1007/978-3-642-16373-9
    Presentation's date: 2010-11-02
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    To ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right in this sense. It is well known that the full expressiveness of OCL leads to undecidability of reasoning. To deal with this problem, our approach finds a compromise between expressiveness and decidability, thus being able to handle very expressive constraints guaranteeing termination in many cases.

  • Access to the full text
    Adapting LEARN-SQL to database computer supported cooperative learning  Open access

     Burgues Illa, Xavier; Martin Escofet, Carme; Quer, Carme; Abello Gamazo, Alberto; Casañ Guerrero, Maria Jose; Urpi Tubella, Antoni; Rodríguez, M. Elena
    Workshop on Methods and Cases in Computing Education
    p. 22-29
    Presentation's date: 2010-06-30
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    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.

  • Access to the full text
    Adaptació d'assignatures de bases de dades a l'EEES  Open access

     Martin Escofet, Carme; Abello Gamazo, Alberto; Burgues Illa, Xavier; Casañ Guerrero, Maria Jose; Quer, Carme; Rodriguez Gonzalez, M. Elena; Urpi Tubella, Antoni
    Congrés Internacional de Docència Universitària i Innovació
    Presentation's date: 2010-07-01
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    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.

  • METODOS Y HERRAMIENTAS PARA LA VALIDACION Y LA GENERACION DE MAPPINGS ENTRE ESQUEMAS DE DATOS

     Queralt Calafat, Anna; Rull Fort, Guillem; Urpi Tubella, Antoni; Abello Gamazo, Alberto; Farré Tost, Carles; Romero Moral, Oscar; Teniente Lopez, Ernest
    Competitive project

     Share

  • Red nacional de gestión de datos

     Teniente Lopez, Ernest; Vela Sánchez, Belén; Abello Gamazo, Alberto; Urpi Tubella, Antoni; Farré Tost, Carles; Romero Moral, Oscar
    Competitive project

     Share

  • LEARN-SQL: Herramienta de gestión de ejercicios de SQL con autocorrección  Open access

     Abello Gamazo, Alberto; Burgues Illa, Xavier; Casañ Guerrero, Maria Jose; Martin Escofet, Carme; Quer, Carme; Urpi Tubella, Antoni; Rodriguez Gonzalez, M. Elena
    Jornadas de Enseñanza Universitaria de la Informática
    p. 453-460
    Presentation's date: 2009-07-09
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    Algunas herramientas de autocorrección existen ya en el ámbito de la docencia informática. No obstante en asignaturas de bases de datos el problema es especialmente complejo debido a la gran variedad de tipos de ejercicios (los sistemas existentes se limitan a consultas) y a que éstos no tienen solución única. Nuestro sistema tiene como objetivo corregir automáticamente cualquier tipo de sentencia SQL (consultas, actualizaciones, procedimientos, disparadores, creación de índices, etc.) y discernir si la respuesta aportada por el estudiante es o no correcta con independencia de la solución concreta que éste proponga. En esta comunicación presentaremos específicamente el módulo encargado de la gestión de ejercicios y todas las tipologías de estos que estamos utilizando en la actualidad.

  • MVT: a schema mapping validation tool

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    International Conference on Extending Database Technology
    p. 1120-1123
    Presentation's date: 2009-03-24
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    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.

  • Providing Explanations for Database Schema Validation

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Date: 2008-04
    Report

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Validation of mappings between schemas

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Data and knowledge engineering
    Vol. 66, num. 3, p. 414-437
    Date of publication: 2008-09
    Journal article

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Providing Explanations for Database Schema Validation

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Lecture notes in computer science
    Vol. 5181, num. DEXA 2008, p. 660-667
    Date of publication: 2008-09
    Journal article

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • SVTe: a tool to validate database schemas

     Farré Tost, Carles; Rull Fort, Guillem; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    1st International Workshop on Testing Database Systems
    p. 9
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Access to the full text
    Uso de LEARN-SQL en el aprendizaje cooperativo de bases de datos  Open access

     Burgues Illa, Xavier; Quer, Carme; Abello Gamazo, Alberto; Casañ Guerrero, Maria Jose; Martin Escofet, Carme; Rodriguez Gonzalez, M. Elena; Urpi Tubella, Antoni
    Jornadas de Enseñanza Universitaria de la Informática
    p. 359-366
    Presentation's date: 2008-07-09
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    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.

    Postprint (author’s final draft)

  • Access to the full text
    LEARN-SQL: automatic assesment of SQL Based on IMS QTI specification  Open access

     Abello Gamazo, Alberto; Rodriguez Gonzalez, M. Elena; Urpi Tubella, Antoni; Burgues Illa, Xavier; Casañ Guerrero, Maria Jose; Martin Escofet, Carme; Quer, Carme
    IEEE International Conference on Advanced Learning Technologies
    p. 592-593
    Presentation's date: 2008-07-01
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    In this paper we present LEARN-SQL, a system conforming to the IMS QTI specification that allows on-line learning and assessment of students on SQL skills in an automatic, interactive, informative, scalable and extensible manner.

  • Access to the full text
    LEARN-SQL: a blended learning tool for the database area  Open access

     Casañ Guerrero, Maria Jose; Martin Escofet, Carme; Abello Gamazo, Alberto; Burgues Illa, Xavier; Quer, Carme; Rodriguez Gonzalez, M. Elena; Urpi Tubella, Antoni
    Congrés Internacional de Docència Universitària i Innovació
    p. 1-17
    Presentation's date: 2008-07-03
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    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.

  • Validation of Mappings between Schemas

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Date: 2007-06
    Report

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Computing Explanations for Unlively Queries in Databases

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Date: 2007-06
    Report

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Containment of Conjunctive Queries over Databases with Null

     Urpi Tubella, Antoni; Farré Tost, Carles; Teniente Lopez, Ernest
    Lecture notes in computer science
    Vol. 4353, num. ICDT, p. 389-403
    Date of publication: 2007-01
    Journal article

     Share Reference managers Reference managers Open in new window

  • Computing explanations for unlively queries in databases

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    ACM International Conference on Information and Knowledge Management
    p. 955-958
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Extensión de Moodle para facilitar la corrección automática de cuestionarios y su aplicación en el ámbito de las bases de datos

     Abello Gamazo, Alberto; Urpi Tubella, Antoni; Rodriguez Gonzalez, M. Elena; Estèvez, Marc
    MoodleMoot 2007
    Presentation's date: 2007-10-15
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Contención de consultas con valores nulos usando el método CQC

     Farré Tost, Carles; Urpi Tubella, Antoni
    XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006)
    p. 89-98
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Checking query containment with the CQC method

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Data and knowledge engineering
    Vol. 53, num. 2, p. 163-223
    Date of publication: 2005-05
    Journal article

     Share Reference managers Reference managers Open in new window

  • Desarrollo de técnicas y herramientas para la validación de esquemas de bases de datos

     Abello Gamazo, Alberto; Teniente Lopez, Ernest; Urpi Tubella, Antoni; Farré Tost, Carles
    Competitive project

     Share

  • A new approach for checking schema validation properties

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    15th International Conference on Database and Expert Systems Applications. DEXA 2004
    p. 77-86
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • SVT: schema validation tool for Microsoft SQL-Server

     Teniente Lopez, Ernest; Farré Tost, Carles; Urpi Tubella, Antoni; Beltrán, Carlos; Gañán, David
    30th International Conference on Very Large Data Bases
    p. 1349-1352
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Query Containment with Negated IDB Predicates

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Lecture notes in computer science
    Vol. ADBIS 2003, num. 2798, p. 310-321
    Date of publication: 2003-09
    Journal article

     Share Reference managers Reference managers Open in new window

  • On the abductive or deductive nature of database schema validation and update processing problems

     Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Theory and practice of logic programming
    Vol. 3, num. 3, p. 287-327
    Date of publication: 2003-05
    Journal article

     Share Reference managers Reference managers Open in new window

  • Handling Existential Derived Predicates in View Updating

     Urpi Tubella, Antoni; Teniente Lopez, Ernest; Farré Tost, Carles
    19th International Conference on Logic Programming
    p. 148-162
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • A NEW METHOD FOR QUERY CONTAINMENT CHECKING IN DATABASES

     Farré Tost, Carles
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses

     Share Reference managers Reference managers Open in new window

  • Formalization And Correctness Of The CQC Method

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Date: 2002-11
    Report

     Share Reference managers Reference managers Open in new window

  • Constructive Method for Query Containment Checking

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Lecture notes in computer science
    Vol. 1677, num. DEXA, p. 583-593
    Date of publication: 1999-01
    Journal article

     Share Reference managers Reference managers Open in new window

  • The Constructive Method for Query Containment Checking

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    10th International Conference on Database and Expert Systems Applications. DEXA'99
    p. 583-593
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Query Containment Checking as a View Updating Problem

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Date: 1998-06
    Report

     Share Reference managers Reference managers Open in new window

  • Query Containment Checking as a View Updating Problem

     Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    9th International Conference on Database and Expert Systems Applications. DEXA'98
    p. 310-321
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Tratamiento integrado de actualizaciones en bases de datos deductivas: el proyecto folre

     Mayol Sarroca, Enric; Pastor Collado, Juan Antonio; Teniente Lopez, Ernest; Urpi Tubella, Antoni; Farré Tost, Carles
    III JORNADAS DE INVESTIGACION Y DOCENCIA EN BASES DE DATOS (JIDBD'98)
    p. 3-10
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Integrated treatment of updates in deductive databases: the FOLRE Project

     Mayol Sarroca, Enric; Pastor Collado, Juan Antonio; Teniente Lopez, Ernest; Urpi Tubella, Antoni; Farré Tost, Carles
    Jornadas de Investigación y Docencia en Bases de Datos
    p. 3-10
    Presentation's date: 1998
    Presentation of work at congresses

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Validating Active Rules by Planning

     Fraternali, P; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Lecture notes in computer science
    Vol. 1312, num. 1, p. 181-196
    Date of publication: 1997-06
    Journal article

     Share Reference managers Reference managers Open in new window