Toni Urpí

Publication Activity (10 Years)

Years Active: 1991-2015
Publications (10 Years): 1

Top Topics

Automated Reasoning

High Level Specifications

Xml Data Exchange

Top Venues

Inf. Softw. Technol.

Comput. Sci. Inf. Syst.

Softw. Syst. Model.

Publications

Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí
AuRUS: explaining the validation of UML/OCL conceptual schemas. Softw. Syst. Model. 14 (2) (2015)
Carles Farré, Anna Queralt, Guillem Rull, Ernest Teniente, Toni Urpí
Automated reasoning on UML conceptual schemas with derived information and queries. Inf. Softw. Technol. 55 (9) (2013)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
Validation of schema mappings with nested queries. Comput. Sci. Inf. Syst. 10 (1) (2013)
Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí
AuRUS: Automated Reasoning on UML/OCL Schemas. ER (2010)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
MVT: a schema mapping validation tool. EDBT (2009)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
Validation of mappings between schemas. Data Knowl. Eng. 66 (3) (2008)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
Providing Explanations for Database Schema Validation. DEXA (2008)
Alberto Abelló, Elena Rodríguez, Toni Urpí, Xavier Burgués Illa, M. José Casany, Carme Martín, Carme Quer
LEARN-SQL: Automatic Assessment of SQL Based on IMS QTI Specification. ICALT (2008)
Carles Farré, Guillem Rull, Ernest Teniente, Toni Urpí
SVTe: a tool to validate database schemas giving explanations. DBTest (2008)
Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí
Containment of Conjunctive Queries over Databases with Null Values. ICDT (2007)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
Computing explanations for unlively queries in databases. CIKM (2007)
Guillem Rull, Carles Farré, Toni Urpí
Contención de consultas con valores nulos usando el método CQC. JISBD (2006)
Carles Farré, Ernest Teniente, Toni Urpí
Checking query containment with the CQC method. Data Knowl. Eng. 53 (2) (2005)
Ernest Teniente, Carles Farré, Toni Urpí, Carlos Beltrán, David Gañán
SVT: Schema Validation Tool for Microsoft SQL-Server. VLDB (2004)
Carles Farré, Ernest Teniente, Toni Urpí
A New Approach for Checking Schema Validation Properties. DEXA (2004)
Ernest Teniente, Toni Urpí
On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems CoRR (2003)
Carles Farré, Ernest Teniente, Toni Urpí
Query Containment with Negated IDB Predicates. ADBIS (2003)
Carles Farré, Ernest Teniente, Toni Urpí
Handling Existential Derived Predicates in View Updating. ICLP (2003)
Ernest Teniente, Toni Urpí
On the abductive or deductive nature of database schema validation and update processing problems. Theory Pract. Log. Program. 3 (3) (2003)
Carles Farré, Ernest Teniente, Toni Urpí
The Constructive Method for Query Containment Checking. DEXA (1999)
Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí, Carles Farré
Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract). JIDBD (1998)
Carles Farré, Ernest Teniente, Toni Urpí
Query Containment Checking as a View Updating Problem. DEXA (1998)
Pedro Belsa, Nieves R. Brisaboa, Verónica Canivell Castillo, Juan Garbajosa, Jesús Manuel Maudes Raedo, Mario Piattini, Toni Urpí
Propuesta de contenidos en bases de datos de los planes de estudio de informática. JIDBD (1998)
Carles Farré, Ernest Teniente, Toni Urpí
Comprobación del Contenimiento de Consultas mediante Actualización de Vistas. JIDBD (1997)
Piero Fraternali, Ernest Teniente, Toni Urpí
Validating Active Rules by Planning. Rules in Database Systems (1997)
Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí
FOLRE: A Deductive Database System for the Integrated Treatment of Updates. Rules in Database Systems (1997)
Dolors Costal, Ernest Teniente, Toni Urpí
An Approach to Obtain Intensional Translation for Consistent View Updating. DOOD (1997)
Dolors Costal, Ernest Teniente, Toni Urpí, Carles Farré
Handling Conceptual Model Validation by Planning. CAiSE (1996)
Ernest Teniente, Carles Farré, Carme Martín, Enric Mayol, Joan Antoni Pastor, Jaume Sistac, Toni Urpí
FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos. JIDBD (1996)
Jaume Sistac, Fèlix Saltor, Francesc Costa, Dolors Costal, Carme Martín, Toni Urpí
Docencia de las bases de Datos en la Facultat d'Informàtica de Barcelona. JIDBD (1996)
Hendrik Decker, Ernest Teniente, Toni Urpí
How to Tackle Schema Validation by View Updating. EDBT (1996)
Ernest Teniente, Toni Urpí
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE (1995)
Ernest Teniente, Toni Urpí
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD (1994)
Toni Urpí, Antoni Olivé
Semantic Change Computation Optimization in Active Databases. RIDE-ADS (1994)
Toni Urpí, Antoni Olivé
A Method for Change Computation in Deductive Databases. VLDB (1992)
Toni Urpí, Antoni Olivé
Evants and Events rules in Active Databases. IEEE Data Eng. Bull. 15 (1-4) (1992)
Toni Urpí
An Approach to Monitoring Changes in Deductive Databases. DAISD (1991)