Toni Urpí

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