Exploració per autor "Rull Fort, Guillem"

Ara es mostren els items 9-11 de 11

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