Now showing items 1-10 of 10

  • A schema-only approach to validate XML schema mappings 

    Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2010-03-19)
    External research report
    Open Access
    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 ...
  • AuRUS: Automated Reasoning on UML/OCL Schemas 

    Queralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni (Springer Verlag, 2010)
    Conference lecture
    Restricted access - publisher's policy
    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 ...
  • AuRUS: explaining the validation of UML/OCL conceptual schemas 

    Rull Fort, Guillem; Farré Tost, Carles; Queralt Calafat, Anna; Teniente López, Ernest; Urpí Tubella, Antoni (2015-05-01)
    Article
    Open Access
    The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and several tools have been developed to automate this process as much as possible. This is achieved, in ...
  • 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)
    Conference report
    Restricted access - publisher's policy
    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)
    Conference lecture
    Restricted access - publisher's policy
    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)
    External research report
    Open Access
    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)
    Conference lecture
    Restricted access - publisher's policy
    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)
    External research report
    Open Access
    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)
    Doctoral thesis
    Open Access
  • Validation of schema mappings with nested queries 

    Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2012-10-11)
    External research report
    Open Access
    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. ...