Graphic summary
  • Show / hide key
  • Information


Scientific and technological production
  •  

1 to 50 of 71 results
  • 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
    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
    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
    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.

  • Extensió dels Learning Management Systems cap al m-learning des d'una perspectiva sostenible.  Open access

     Casañ Guerrero, Maria Jose
    Defense's date: 2013-03-14
    Department of Information Services and Systems Engineering, 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

    L’educació va ser marcada a l’any 2000 per les Nacions Unides com un dels Objectius del Mil·lenni pel desenvolupament. Amb aquest objectiu, també conegut com “educació per a tothom”, es pretén que per l’any 2015, tots els nens i nenes del planeta puguin acabar l’educació primària. Per donar prioritat a aquest objectiu, les Nacions Unides van declarar el període entre 2005 i 2015 com el Decenni de l’Educació pel Desenvolupament Sostenible. El decenni promou l’educació com a element bàsic per aconseguir transformar la societat cap a una societat més sostenible. Transformar l’educació no és una tasca fàcil. Per aquest motiu, l’Informe Delors encarregat per la UNESCO proposa una direcció per fer la transformació cap a l’aprenentatge durant tota la vida (lifelong learning). Els coneixements i habilitats que hom aprèn han de permetre’l afrontar els reptes i problemes durant tota la vida. Cal prendre noves habilitats i actituds, en lloc de coneixements que caduquen. En la Societat de la Informació cal aprendre competències digitals, per poder desenvoluparse a la societat. Les competències digitals son tanmateix una eina vehicular de tot tipus d’aprenentatge. Per tant, les Tecnologies de la Informació i la Comunicació (TIC) no es poden aplicar de qualsevol manera a l’educació, ni tots els usos de les TIC aplicades a l’educació fomenten el mateix tipus d’aprenentatge. Cal buscar aquells usos de les TIC aplicades a l’educació que fomenten el desenvolupament sostenible i que ajuden a combatre la fractura digital (la diferència en l’accés a les TIC entre països, regions o grups de persones). Les TIC mòbils i la seva ràpida adopció arreu del món, tenen un gran potencial per facilitar una transformació en l’educació cap al lifelong learning. El sector de les TIC mòbils és l’únic sector o grup de TIC on la fractura digital entre països rics i pobres es redueix. Com que molts d’aquests dispositius mòbils tenen la capacitat d’accedir a Internet (el que es coneix com Internet mòbil), es planteja usar aquests dispositius com una eina perquè els més pobres puguin accedir a la Societat de la Informació. Un cop garantit l’accés a la Xarxa, existeixen a Internet moltes eines de software lliure per aquestes plataformes mòbils. Aquestes eines poden ser emprades perquè tothom pugui difondre el seu missatge. En el context de les TIC mòbils aplicades a l’educació (m-learning) per fomentar l’aprenentatge durant tota la vida, són moltes les problemàtiques que existeixen. En concret, com introduir el m-learning a les pràctiques de les institucions educatives, de forma relativament simple i produint projectes de m-learning que tinguin una durabilitat a llarg termini. Per ajudar a aconseguir la durabilitat a llarg termini dels projectes de m-learning, el treball present proposa una sèrie de guies o aspectes a tenir en compte. Una manera d’introduir l’m-learning a les pràctiques de les institucions educatives, és a través de la integració amb altres tecnologies educatives més madures i implantades. En concret, amb els Learning Management Systems (LMS), que són les plataformes de elearning que sovint empren les institucions educatives actuals. Els LMS actuals han sigut font d’innovació en educació durant molt de temps. Els LMS acostumen a tenir el curs com a element central a partir d’on organitzen lliçons que contenen recursos i eines educatives. Aquesta estructura mimetitza l’estructura de les classes tradicionals on el professor imparteix uns continguts establerts en un pla d’estudis a un grup d’estudiants i a un ritme uniforme. Per aquest motiu, molts estudiants consideren aquestes plataformes poc flexibles i poc adaptables a un ritme d’aprenentatge més personal. A més, els LMS tenen nombroses limitacions per interactuar amb altres aplicacions externes com les xarxes socials, blogs o aplicacions mòbils. Aquests darrers tipus d’aplicacions són aplicacions que molts estudiants acostumen a emprar per aprendre. Per la seva part, el m-learning ofereix 1) uns entorns d’aprenentatge més personalitzats, 2) un aprenentatge més centrat en l’estudiant i 3) un canal alternatiu per accedir a materials o serveis. La contrapartida és que, sovint, hi ha manca de suport per part de les institucions educatives per introduir el m-learning, donat que implica canviar maneres de treballar ja establertes. També cal formació al professorat per poder introduir l’m-lerning i finalment existeixen problemes d’interoperabilitat amb les plataformes de e-learning. Aquesta separació o dicotomia entre el món de les plataformes de e-learning i el m-learning es podria solucionar integrant les aplicacions de m-learning en els processos o activitats de e-learning. Per aquest motiu, es planteja estudiar el problema de com es poden integrar les aplicacions de m-learning amb els LMS actuals. Amb la finalitat d’estudiar aquest problema sorgeix el projecte Moodbile. Aquest projecte pretén 1) estendre un LMS concret, Moodle, al món dels dispositius mòbils, per poder definir aplicacions mòbils que repliquin alguns dels serveis oferts per l’LMS des de dispositius mòbils i 2) proporcionar un marc perquè les aplicacions mòbils tinguin contra partida a l’LMS en forma d’activitats especials. El present treball es centra en estendre un LMS concret, Moodle, al món dels dispositius mòbils, per poder definir aplicacions mòbils que repliquin alguns dels serveis oferts per l’LMS des de dispositius mòbils.

    La educación fue marcada en el año 2000 por las Naciones Unidas como uno de los Objetivos del Milenio para el desarrollo. Con este objetivo, también conocido como "educación para todos", se pretende que para el año 2015, todos los niños y niñas del planeta puedan terminar la educación primaria. Para dar prioridad a este objetivo, las Naciones Unidas declararon el período entre 2005 y 2015 como el Decenio de la Educación para el Desarrollo Sostenible. El decenio promueve la educación como elemento básico para lograr transformar la sociedad hacia una sociedad más sostenible. Transformar la educación no es una tarea fácil. Por este motivo, el Informe Delors encargado por la UNESCO propone una dirección para hacer la transformación hacia el aprendizaje durante toda la vida (lifelong learning). Los conocimientos y habilidades que se aprende deben permitirle afrontar los retos y problemas durante toda la vida. Hay que aprender nuevas habilidades y actitudes, en lugar de conocimientos que caducan. En la Sociedad de la Información hay que aprender competencias digitales, para poder desarrollarse en la sociedad. Las competencias digitales son una herramienta vehicular de todo tipo de aprendizaje. Por tanto, las Tecnologías de la Información y la Comunicación (TIC) no se pueden aplicar de cualquier manera al educación, ni todos los usos de las TIC aplicadas a la educación fomentan el mismo tipo de aprendizaje. Hay que buscar aquellos usos de las TIC aplicadas a la educación que fomentan el desarrollo sostenible y que ayudan a combatir la brecha digital (la diferencia en el acceso a las TIC entre países, regiones o grupos de personas). Las TIC móviles y su rápida adopción en todo el mundo, tienen un gran potencial para facilitar una transformación en la educación hacia el lifelong learning. El sector de las TIC móviles es el único sector o grupo de TIC donde la brecha digital entre países ricos y pobres se reduce. Como muchos de estos dispositivos móviles tienen la capacidad de acceder a Internet (lo que se conoce como Internet móvil), se plantea usar estos dispositivos como una herramienta para que los más pobres puedan acceder a la Sociedad de la Información. Una vez garantizado el acceso a la Red, existen en Internet muchas herramientas de software libre para estas plataformas móviles. Estas herramientas pueden ser utilizadas para que todos puedan difundir su mensaje. En el contexto de las TIC móviles aplicadas a la educación (m-learning) para fomentar el aprendizaje durante toda la vida, son muchas las problemáticas existentes. En concreto, como introducir el m-learning en las prácticas de las instituciones educativas, de forma relativamente simple y produciendo proyectos de m-learning que tengan una durabilidad a largo plazo. Para ayudar a conseguir la durabilidad a largo plazo de los proyectos de m-learning, el trabajo presente propone una serie de guías o aspectos a tener en cuenta. Una manera de introducir el m-learning en las prácticas de las instituciones educativas, es a través de la integración con otras tecnologías educativas más maduras e implantadas. En concreto, con los Learning Management Systems (LMS), que son las plataformas de elearning que a menudo utilizan las instituciones educativas actuales. Los LMS actuales han sido fuente de innovación en educación durante mucho tiempo. Los LMS suelen ofrecer el curso como elemento central a partir de donde organizan lecciones que contienen recursos y herramientas educativas. Esta estructura mimetiza la estructura de las clases tradicionales, donde el profesor imparte unos contenidos preestablecidos en un plan de estudios a un grupo de estudiantes y a un ritmo uniforme. Por este motivo, muchos estudiantes consideran estas plataformas poco flexibles y poco adaptables a un ritmo de aprendizaje más personal. Además, los LMS tienen numerosas limitaciones para interactuar con otras aplicaciones externas como las redes sociales, blogs o aplicaciones móviles. Estos últimos tipos de aplicaciones son aplicaciones que muchos estudiantes suelen emplear para aprender. Por su parte, el m-learning ofrece 1) unos entornos de aprendizaje más personalizados, 2) un aprendizaje más centrado en el estudiante y 3) un canal alternativo para acceder a materiales o servicios. La contrapartida es que a menudo, hay falta de apoyo por parte de las instituciones educativas para introducir el m-learning, dado que implica cambiar formas de trabajar ya establecidas. También es necesaria la formación al profesorado para poder introducir el m-lerning y finalmente existen problemas de interoperabilidad con las plataformas de e-learning. Esta separación o dicotomía entre el mundo de las plataformas de e-learning y el m-learning se podría solucionar integrando las aplicaciones de m-learning en los procesos o actividades de e-learning. Por este motivo, se plantea estudiar el problema de cómo se pueden integrar las aplicaciones de m-learning con los LMS actuales. Con el fin de estudiar este problema surge el proyecto Moodbile. Este proyecto pretende 1) extender un LMS concreto, Moodle, al mundo de los dispositivos móviles, para poder definir aplicaciones móviles que repliquen algunos de los servicios ofrecidos por el LMS desde dispositivos móviles y 2) proporcionar un marco para que las aplicaciones móviles tengan contra partida al LMS en forma de actividades especiales. El presente trabajo se centra en extender un LMS concreto, Moodle, al mundo de los dispositivos móviles, para poder definir aplicaciones móviles que repliquen algunos de los servicios ofrecidos por el LMS desde dispositivos móviles.

    Education is an engine for change. United Nations (UN) stated in 2000 that education is one of the Millennium Goals for Development. With this goal in mind, the United Nations wanted to ensure that all the children might be able to complete primary education by 2015. UN declared the period 2005-2015 Decade of Education for Sustainable Development, because education is a key element to transform society into a more sustainable one. That is why the Delors Report proposes a transformation of society towards lifelong learning; the abilities and knowledge that a person learns has to help him overcome challenges all his life. It is necessary to learn new abilities and aptitudes, instead of perishable knowledge. It is necessary to learn digital competences to develop further in the society. Digital competences are tools used in all kind of learning. Not all uses of Information and Communications Technologies (ICT) for education encourage the same type of learning. We must find those uses of ICT for education that promote sustainable development and help bridge the digital divide. Mobile ICT has great potential to transform education towards lifelong learning. Mobiles are the only ICT sector where the digital divide between rich and poor is decreasing. Mobile Internet may be a tool for the poorest to access the Information Society. Once granted access to the Internet, there are many free online software tools for mobile platforms. These tools can be used for everyone to spread their message. In the context of mobile ICT for education (m-learning) to promote lifelong learning, many problems need to be addressed. For example, how to introduce m-learning practices in educational institutions, in a relatively simple way, producing m-learning projects that have a long-term sustainability. To help achieve long-term sustainability of m-learning projects, this work proposes a series of guidelines. One way to introduce m-learning in the practices of educational institutions, is through integration with other educational technologies. This is the case of Learning Management Systems (LMS), which are the most used e-learning platforms in current educational institutions. LMS usually present the course as an organizational unit divided into lessons that contain resources and educational tools. This structure mimics the structure of the traditional classroom where the teacher teaches a predetermined content in a curriculum to a group of students. LMS have several limitations to interact with external applications such as social networks, blogs or mobile applications. These external applications are often used by students to learn. In contrast to LMS, m-learning offers 1) a more personalized learning environment, 2) more student-centered learning and 3) an alternative channel to access content or services. The downside is that often there is lack of support from educational institutions to introduce m-learning, because it means changing established ways of working. It is also necessary to train teachers in order to introduce the m-learning and finally there are interoperability problems with e-learning platforms. This dichotomy between the world of e-learning platforms and m-learning could be solved by integrating the m-learning applications with current e-learning platforms. For this reason, this work studies the problem of how to integrate m-learning applications with existing LMS. To study this problem the Moodbile project was initiated. This project aims to 1) extend a particular LMS, Moodle, to the world of mobile devices. The goal is to create mobile applications that replicate some of the services offered by the LMS and 2) provide a framework for mobile applications in the LMS side in the form of special activities. The present work focuses on extending a particular LMS, Moodle, to the world of mobile devices in order to define mobile applications that replicate some of the services offered by the LMS.

  • 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ó
    Presentation's date: 2012-07-04
    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

  • ENRIQUECIMIENTO SEMÁNTICO DE METADATOS EDUCATIVOS APOYADO EN ONTOLOGÍAS DE CONOCIMIENTO GENERAL

     Rodriguez Gonzalez, M. Elena
    Defense's date: 2012-04-11
    UNIVERSIDAD DE ALCALA DE HENARES
    Theses

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

  • 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.

  • 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)

     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

  • 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

  • Validation of Mappings between Data Schemas  Open access

     Rull Fort, Guillem
    Defense's date: 2011-01-19
    Department of Software, 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.

  • 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
    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.

  • 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
    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
    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.

  • Automating the multidimensional design of data warehouses  Open access

     Romero Moral, Oscar
    Defense's date: 2010-02-09
    Department of Software, 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

    Les experiències prèvies en l'àmbit dels magatzems de dades (o data warehouse), mostren que l'esquema multidimensional del data warehouse ha de ser fruit d'un enfocament híbrid; això és, una proposta que consideri tant els requeriments d'usuari com les fonts de dades durant el procés de disseny.Com a qualsevol altre sistema, els requeriments són necessaris per garantir que el sistema desenvolupat satisfà les necessitats de l'usuari. A més, essent aquest un procés de reenginyeria, les fonts de dades s'han de tenir en compte per: (i) garantir que el magatzem de dades resultant pot ésser poblat amb dades de l'organització, i, a més, (ii) descobrir capacitats d'anàlisis no evidents o no conegudes per l'usuari.Actualment, a la literatura s'han presentat diversos mètodes per donar suport al procés de modelatge del magatzem de dades. No obstant això, les propostes basades en un anàlisi dels requeriments assumeixen que aquestos són exhaustius, i no consideren que pot haver-hi informació rellevant amagada a les fonts de dades. Contràriament, les propostes basades en un anàlisi exhaustiu de les fonts de dades maximitzen aquest enfocament, i proposen tot el coneixement multidimensional que es pot derivar des de les fonts de dades i, conseqüentment, generen massa resultats. En aquest escenari, l'automatització del disseny del magatzem de dades és essencial per evitar que tot el pes de la tasca recaigui en el dissenyador (d'aquesta forma, no hem de confiar únicament en la seva habilitat i coneixement per aplicar el mètode de disseny elegit). A més, l'automatització de la tasca allibera al dissenyador del sempre complex i costós anàlisi de les fonts de dades (que pot arribar a ser inviable per grans fonts de dades).Avui dia, els mètodes automatitzables analitzen en detall les fonts de dades i passen per alt els requeriments. En canvi, els mètodes basats en l'anàlisi dels requeriments no consideren l'automatització del procés, ja que treballen amb requeriments expressats en llenguatges d'alt nivell que un ordenador no pot manegar. Aquesta mateixa situació es dona en els mètodes híbrids actual, que proposen un enfocament seqüencial, on l'anàlisi de les dades es complementa amb l'anàlisi dels requeriments, ja que totes dues tasques pateixen els mateixos problemes que els enfocament purs.En aquesta tesi proposem dos mètodes per donar suport a la tasca de modelatge del magatzem de dades: MDBE (Multidimensional Design Based on Examples) and AMDO (Automating the Multidimensional Design from Ontologies). Totes dues consideren els requeriments i les fonts de dades per portar a terme la tasca de modelatge i a més, van ser pensades per superar les limitacions dels enfocaments actuals.1. MDBE segueix un enfocament clàssic, en el que els requeriments d'usuari són coneguts d'avantmà. Aquest mètode es beneficia del coneixement capturat a les fonts de dades, però guia el procés des dels requeriments i, conseqüentment, és capaç de treballar sobre fonts de dades semànticament pobres. És a dir, explotant el fet que amb uns requeriments de qualitat, podem superar els inconvenients de disposar de fonts de dades que no capturen apropiadament el nostre domini de treball.2. A diferència d'MDBE, AMDO assumeix un escenari on es disposa de fonts de dades semànticament riques. Per aquest motiu, dirigeix el procés de modelatge des de les fonts de dades, i empra els requeriments per donar forma i adaptar els resultats generats a les necessitats de l'usuari. En aquest context, a diferència de l'anterior, unes fonts de dades semànticament riques esmorteeixen el fet de no tenir clars els requeriments d'usuari d'avantmà.Cal notar que els nostres mètodes estableixen un marc de treball combinat que es pot emprar per decidir, donat un escenari concret, quin enfocament és més adient. Per exemple, no es pot seguir el mateix enfocament en un escenari on els requeriments són ben coneguts d'avantmà i en un escenari on aquestos encara no estan clars (un cas recorrent d'aquesta situació és quan l'usuari no té clares les capacitats d'anàlisi del seu propi sistema). De fet, disposar d'uns bons requeriments d'avantmà esmorteeix la necessitat de disposar de fonts de dades semànticament riques, mentre que a l'inversa, si disposem de fonts de dades que capturen adequadament el nostre domini de treball, els requeriments no són necessaris d'avantmà. Per aquests motius, en aquesta tesi aportem un marc de treball combinat que cobreix tots els possibles escenaris que podem trobar durant la tasca de modelatge del magatzem de dades.

    Previous experiences in the data warehouse field have shown that the data warehouse multidimensional conceptual schema must be derived from a hybrid approach: i.e., by considering both the end-user requirements and the data sources, as first-class citizens. Like in any other system, requirements guarantee that the system devised meets the end-user necessities. In addition, since the data warehouse design task is a reengineering process, it must consider the underlying data sources of the organization: (i) to guarantee that the data warehouse must be populated from data available within the organization, and (ii) to allow the end-user discover unknown additional analysis capabilities.Currently, several methods for supporting the data warehouse modeling task have been provided. However, they suffer from some significant drawbacks. In short, requirement-driven approaches assume that requirements are exhaustive (and therefore, do not consider the data sources to contain alternative interesting evidences of analysis), whereas data-driven approaches (i.e., those leading the design task from a thorough analysis of the data sources) rely on discovering as much multidimensional knowledge as possible from the data sources. As a consequence, data-driven approaches generate too many results, which mislead the user. Furthermore, the design task automation is essential in this scenario, as it removes the dependency on an expert's ability to properly apply the method chosen, and the need to analyze the data sources, which is a tedious and timeconsuming task (which can be unfeasible when working with large databases). In this sense, current automatable methods follow a data-driven approach, whereas current requirement-driven approaches overlook the process automation, since they tend to work with requirements at a high level of abstraction. Indeed, this scenario is repeated regarding data-driven and requirement-driven stages within current hybrid approaches, which suffer from the same drawbacks than pure data-driven or requirement-driven approaches.In this thesis we introduce two different approaches for automating the multidimensional design of the data warehouse: MDBE (Multidimensional Design Based on Examples) and AMDO (Automating the Multidimensional Design from Ontologies). Both approaches were devised to overcome the limitations from which current approaches suffer. Importantly, our approaches consider opposite initial assumptions, but both consider the end-user requirements and the data sources as first-class citizens.1. MDBE follows a classical approach, in which the end-user requirements are well-known beforehand. This approach benefits from the knowledge captured in the data sources, but guides the design task according to requirements and consequently, it is able to work and handle semantically poorer data sources. In other words, providing high-quality end-user requirements, we can guide the process from the knowledge they contain, and overcome the fact of disposing of bad quality (from a semantical point of view) data sources.2. AMDO, as counterpart, assumes a scenario in which the data sources available are semantically richer. Thus, the approach proposed is guided by a thorough analysis of the data sources, which is properly adapted to shape the output result according to the end-user requirements. In this context, disposing of high-quality data sources, we can overcome the fact of lacking of expressive end-user requirements.Importantly, our methods establish a combined and comprehensive framework that can be used to decide, according to the inputs provided in each scenario, which is the best approach to follow. For example, we cannot follow the same approach in a scenario where the end-user requirements are clear and well-known, and in a scenario in which the end-user requirements are not evident or cannot be easily elicited (e.g., this may happen when the users are not aware of the analysis capabilities of their own sources). Interestingly, the need to dispose of requirements beforehand is smoothed by the fact of having semantically rich data sources. In lack of that, requirements gain relevance to extract the multidimensional knowledge from the sources.So that, we claim to provide two approaches whose combination turns up to be exhaustive with regard to the scenarios discussed in the literature

  • 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.

  • 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
    Participation in a competitive project

     Share

  • MVT: a schema mapping validation tool

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    International Conference on Extending Database Technology
    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.

  • 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
    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.

  • Validation of mappings between schemas

     Rull Fort, Guillem; Farré Tost, Carles; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Data and knowledge engineering
    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
    Date of publication: 2008-09
    Journal article

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

  • 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ó
    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.

  • 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

  • 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
    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.

  • 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
    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
    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)

  • Containment of Conjunctive Queries over Databases with Null

     Urpi Tubella, Antoni; Farré Tost, Carles; Teniente Lopez, Ernest
    Lecture notes in computer science
    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
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • 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

  • 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)
    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
    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

     Teniente Lopez, Ernest; Abello Gamazo, Alberto; Urpi Tubella, Antoni; Farré Tost, Carles
    Participation in a competitive project

     Share

  • 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
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • 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
    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
    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
    Date of publication: 2003-05
    Journal article

     Share Reference managers Reference managers Open in new window

  • A NEW METHOD FOR QUERY CONTAINMENT CHECKING IN DATABASES

     Farré Tost, Carles
    Defense's date: 2003-07-10
    Department of Software, Universitat Politècnica de Catalunya
    Theses

     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
    Presentation of work at congresses

     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
    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
    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
    Presentation's date: 1998
    Presentation of work at congresses

    View View Open in new window  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)
    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
    9th International Conference on Database and Expert Systems Applications. DEXA'98
    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

  • Validating Active Rules by Planning

     Fraternali, P; Teniente Lopez, Ernest; Urpi Tubella, Antoni
    Lecture notes in computer science
    Date of publication: 1997-06
    Journal article

     Share Reference managers Reference managers Open in new window