Exploració per autor "Rull Fort, Guillem"

Ara es mostren els items 4-11 de 11

    • GROM: a general rewriter of semantic mappings 

      Mecca, Giansalvatore; Rull Fort, Guillem; Santoro, Donatello; Teniente López, Ernest (Universität Konstanz, 2016)
      Comunicació de congrés
      Accés obert
      We present GROM, a tool conceived to handle high-level schema mappings between semantic descriptions of a source and a target database. GROM rewrites mappings between the virtual, view-based semantic schemas, in terms of ...

    • Incremental mapping compilation in an object-to-relational mapping system 

      Bernstein, Philip A.; Jacob, Marie; Pérez, Jorge; Rull Fort, Guillem; Terwilliger, James F. (2013)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      In an object-to-relational mapping system (ORM), mapping expressions explain how to expose relational data as objects and how to store objects in tables. If mappings are sufficiently expressive, then it is possible to ...

    • MVT: a schema mapping validation tool 

      Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (ACM Press, NY, 2009)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      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 ...

    • Providing explanations for database schema validation 

      Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 2008-04-14)
      Report de recerca
      Accés obert
      We propose a new method for database schema validation that provides an explanation when it determines that a certain desirable property of a database schema does not hold. Explanations are required to give the designer a ...

    • Query containment in entity SQL 

      Rull Fort, Guillem; Bernstein, Philip A.; Garcia dos Santos, Ivo; Katsis, Yannis; Melnik, Sergey; Teniente López, Ernest (2013)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      We describe a software architecture we have developed for a constructive containment checker of Entity SQL queries defined over extended ER schemas expressed in Microsoft's Entity Data Model. Our application of interest ...

    • Testing Termination of Query Satisfiability Checking on Expressive Database Schemas 

      Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2010-03-19)
      Report de recerca
      Accés obert
      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 ...

    • Validation of mappings between data schemas 

      Rull Fort, Guillem (Universitat Politècnica de Catalunya, 2011-01-19)
      Tesi
      Accés obert
      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 ...

    • Validation of schema mappings with nested queries 

      Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2012-10-11)
      Report de recerca
      Accés obert
      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. ...