default search action
Toni Urpí
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [j7]Guillem Rull, Carles Farré
, Anna Queralt
AuRUS: explaining the validation of UML/OCL conceptual schemas. Softw. Syst. Model. 14(2): 953-980 (2015) - 2013
- [j6]Guillem Rull, Carles Farré
Validation of schema mappings with nested queries. Comput. Sci. Inf. Syst. 10(1): 79-104 (2013) - [j5]Carles Farré
Automated reasoning on UML conceptual schemas with derived information and queries. Inf. Softw. Technol. 55(9): 1529-1550 (2013) - 2010
- [c29]Anna Queralt
AuRUS: Automated Reasoning on UML/OCL Schemas. ER 2010: 438-444
2000 – 2009
- 2009
- [c28]Guillem Rull, Carles Farré
MVT: a schema mapping validation tool. EDBT 2009: 1120-1123 - 2008
- [j4]Guillem Rull, Carles Farré
Validation of mappings between schemas. Data Knowl. Eng. 66(3): 414-437 (2008) - [c27]Guillem Rull, Carles Farré
Providing Explanations for Database Schema Validation. DEXA 2008: 660-667 - [c26]Alberto Abelló
LEARN-SQL: Automatic Assessment of SQL Based on IMS QTI Specification. ICALT 2008: 592-593 - [c25]Carles Farré
SVTe: a tool to validate database schemas giving explanations. DBTest 2008: 9 - 2007
- [c24]Guillem Rull, Carles Farré
Computing explanations for unlively queries in databases. CIKM 2007: 955-958 - [c23]Carles Farré
Containment of Conjunctive Queries over Databases with Null Values. ICDT 2007: 389-403 - 2006
- [c22]Guillem Rull, Carles Farré, Toni Urpí:
Contención de consultas con valores nulos usando el método CQC. JISBD 2006: 89-98 - 2005
- [j3]Carles Farré
Checking query containment with the CQC method. Data Knowl. Eng. 53(2): 163-223 (2005) - 2004
- [c21]Carles Farré, Ernest Teniente, Toni Urpí:
A New Approach for Checking Schema Validation Properties. DEXA 2004: 77-86 - [c20]Ernest Teniente, Carles Farré, Toni Urpí, Carlos Beltrán, David Gañán:
SVT: Schema Validation Tool for Microsoft SQL-Server. VLDB 2004: 1349-1352 - 2003
- [j2]Ernest Teniente, Toni Urpí:
On the abductive or deductive nature of database schema validation and update processing problems. Theory Pract. Log. Program. 3(3): 287-327 (2003) - [c19]Carles Farré, Ernest Teniente, Toni Urpí:
Query Containment with Negated IDB Predicates. ADBIS 2003: 411-429 - [c18]Carles Farré
Handling Existential Derived Predicates in View Updating. ICLP 2003: 148-162 - [i1]Ernest Teniente, Toni Urpí:
On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems. CoRR cs.DB/0312046 (2003)
1990 – 1999
- 1999
- [c17]Carles Farré, Ernest Teniente, Toni Urpí:
The Constructive Method for Query Containment Checking. DEXA 1999: 583-593 - 1998
- [c16]Carles Farré, Ernest Teniente, Toni Urpí:
Query Containment Checking as a View Updating Problem. DEXA 1998: 310-321 - [c15]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: 3-10 - [c14]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: 45-52 - 1997
- [c13]Dolors Costal, Ernest Teniente, Toni Urpí:
An Approach to Obtain Intensional Translation for Consistent View Updating. DOOD 1997: 175-192 - [c12]Carles Farré, Ernest Teniente, Toni Urpí:
Comprobación del Contenimiento de Consultas mediante Actualización de Vistas. JIDBD 1997: 91-100 - [c11]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: 35-50 - [c10]Piero Fraternali, Ernest Teniente, Toni Urpí:
Validating Active Rules by Planning. Rules in Database Systems 1997: 181-196 - 1996
- [c9]Dolors Costal, Ernest Teniente, Toni Urpí, Carles Farré:
Handling Conceptual Model Validation by Planning. CAiSE 1996: 255-271 - [c8]Hendrik Decker, Ernest Teniente, Toni Urpí:
How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549 - [c7]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: 16-23 - [c6]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: 132-141 - 1995
- [c5]Ernest Teniente, Toni Urpí:
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182 - [e1]Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí:
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. GMD-Studien 266, Gesellschaft für Mathematik und Datenverarbeitung MbH 1995, ISBN 3-88457-266-0 [contents] - 1994
- [c4]Ernest Teniente, Toni Urpí:
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD 1994: 135-158 - [c3]Toni Urpí, Antoni Olivé:
Semantic Change Computation Optimization in Active Databases. RIDE-ADS 1994: 19-27 - 1992
- [j1]Toni Urpí, Antoni Olivé:
Evants and Events rules in Active Databases. IEEE Data Eng. Bull. 15(1-4): 56-59 (1992) - [c2]Toni Urpí, Antoni Olivé:
A Method for Change Computation in Deductive Databases. VLDB 1992: 225-237 - 1991
- [c1]Toni Urpí:
An Approach to Monitoring Changes in Deductive Databases. DAISD 1991: 87-113
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: