Exploració per autor "Urpí Tubella, Antoni"
Ara es mostren els items 28-36 de 36
-
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 obertWe 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 checking as a view updating problem
Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (1998-06)
Report de recerca
Accés obertIn this paper we present a new approach that handles query containment problems by expressing them as a view updating problem. Since this approach is independent of any particular view updating method, it provides a ... -
Query containment with negated IDB predicates (extended version)
Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni (2003-05)
Report de recerca
Accés obertWe present a method that checks Query Containment for queries with negated IDB predicates. Existing methods either deal only with restricted cases of negation or do not check actually containment but uniform containment, ... -
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 obertA 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 ... -
The Constructive method for query containment checking (extended version)
Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (1999-07)
Report de recerca
Accés obertWe present a new method that checks Query Containment for queries with negated derived atoms and/or integrity constraints. Existing methods for Query Containment checking that deal with these cases do not check actually ... -
The Intensional events method for consistent view updating
Costal Costa, Dolors; Teniente López, Ernest; Urpí Tubella, Antoni (1996-07)
Report de recerca
Accés obertAn important amount of research has been devoted to consistent view updating. In this paper we propose a method that follows a new approach to deal with this problem. Our approach is aimed at obtaining intensional ... -
Uso de LEARN-SQL en el aprendizaje cooperativo de bases de datos
Burgués Illa, Xavier; Quer, Carme; Abelló Gamazo, Alberto; Casany Guerrero, María José; Martín Escofet, Carme; Rodríguez González, María Elena; Urpí Tubella, Antoni (LIBROTEX, 2008)
Comunicació de congrés
Accés obertEn 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 ... -
Validation of mappings between schemas
Rull, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2007-06)
Report de recerca
Accés obertMappings between schemas are key elements in several contexts such as data exchange, data integration, peer data management systems, etc. In all these contexts, the process of designing a mapping requires the participation ... -
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 obertWith 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. ...