An Approach to Monitoring Changes in Deductive Databases. - Toni Urpí (DAISD, 1991)

A Method for Change Computation in Deductive Databases. - Toni Urpí; Antoni Olivé (VLDB, 1992)

Evants and Events rules in Active Databases. - Toni Urpí; Antoni Olivé (IEEE Data Eng. Bull., 1992)

Semantic Change Computation Optimization in Active Databases. - Toni Urpí; Antoni Olivé (RIDE-ADS, 1994)

A Common Framework for Classifying and Specifying Deductive Database Updating Problems. - Ernest Teniente; Toni Urpí (ICDE, 1995)

Handling Conceptual Model Validation by Planning. - Dolors Costal; Ernest Teniente; Toni Urpí; Carles Farré (CAiSE, 1996)

How to Tackle Schema Validation by View Updating. - Hendrik Decker; Ernest Teniente; Toni Urpí (EDBT, 1996)

Docencia de las bases de Datos en la Facultat d'Informàtica de Barcelona. - Jaume Sistac; Fèlix Saltor; Francesc Costa; Dolors Costal; Carme Martín; Toni Urpí (JIDBD, 1996)

FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos. - Ernest Teniente; Carles Farré; Carme Martín; Enric Mayol; Joan Antoni Pastor; Jaume Sistac; Toni Urpí (JIDBD, 1996)

An Approach to Obtain Intensional Translation for Consistent View Updating. - Dolors Costal; Ernest Teniente; Toni Urpí (DOOD, 1997)

Comprobación del Contenimiento de Consultas mediante Actualización de Vistas. - Carles Farré; Ernest Teniente; Toni Urpí (JIDBD, 1997)

Validating Active Rules by Planning. - Piero Fraternali; Ernest Teniente; Toni Urpí (Rules in Database Systems, 1997)

FOLRE: A Deductive Database System for the Integrated Treatment of Updates. - Enric Mayol; Joan Antoni Pastor; Ernest Teniente; Toni Urpí (Rules in Database Systems, 1997)

Query Containment Checking as a View Updating Problem. - Carles Farré; Ernest Teniente; Toni Urpí (DEXA, 1998)

Propuesta de contenidos en bases de datos de los planes de estudio de informática. - Pedro Belsa; Nieves R. Brisaboa; Verónica Canivell Castillo; Juan Garbajosa; Jesús Manuel Maudes Raedo; Mario Piattini; Toni Urpí (JIDBD, 1998)

Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract). - Enric Mayol; Joan Antoni Pastor; Ernest Teniente; Toni Urpí; Carles Farré (JIDBD, 1998)

The Constructive Method for Query Containment Checking. - Carles Farré; Ernest Teniente; Toni Urpí (DEXA, 1999)

Query Containment with Negated IDB Predicates. - Carles Farré; Ernest Teniente; Toni Urpí (ADBIS, 2003)

Handling Existential Derived Predicates in View Updating. - Carles Farré; Ernest Teniente; Toni Urpí (ICLP, 2003)

On the abductive or deductive nature of database schema validation and update processing problems. - Ernest Teniente; Toni Urpí (Theory Pract. Log. Program., 2003)

A New Approach for Checking Schema Validation Properties. - Carles Farré; Ernest Teniente; Toni Urpí (DEXA, 2004)

SVT: Schema Validation Tool for Microsoft SQL-Server. - Ernest Teniente; Carles Farré; Toni Urpí; Carlos Beltrán 003; David Gañán (VLDB, 2004)

Checking query containment with the CQC method. - Carles Farré; Ernest Teniente; Toni Urpí (Data Knowl. Eng., 2005)

Contención de consultas con valores nulos usando el método CQC. - Guillem Rull; Carles Farré; Toni Urpí (JISBD, 2006)

Computing explanations for unlively queries in databases. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (CIKM, 2007)

Containment of Conjunctive Queries over Databases with Null Values. - Carles Farré; Werner Nutt; Ernest Teniente; Toni Urpí (ICDT, 2007)

Providing Explanations for Database Schema Validation. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (DEXA, 2008)

LEARN-SQL: Automatic Assessment of SQL Based on IMS QTI Specification. - Alberto Abelló; M. Elena Rodríguez 001; Toni Urpí; Xavier Burgués Illa; M. José Casany; Carme Martín; Carme Quer (ICALT, 2008)

SVTe: a tool to validate database schemas giving explanations. - Carles Farré; Guillem Rull; Ernest Teniente; Toni Urpí (DBTest, 2008)

Validation of mappings between schemas. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (Data Knowl. Eng., 2008)

MVT: a schema mapping validation tool. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (EDBT, 2009)

AuRUS: Automated Reasoning on UML/OCL Schemas. - Anna Queralt; Guillem Rull; Ernest Teniente; Carles Farré; Toni Urpí (ER, 2010)

Validation of schema mappings with nested queries. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (Comput. Sci. Inf. Syst., 2013)

Automated reasoning on UML conceptual schemas with derived information and queries. - Carles Farré; Anna Queralt; Guillem Rull; Ernest Teniente; Toni Urpí (Inf. Softw. Technol., 2013)

AuRUS: explaining the validation of UML/OCL conceptual schemas. - Guillem Rull; Carles Farré; Anna Queralt; Ernest Teniente; Toni Urpí (Softw. Syst. Model., 2015)