Toni Urpi
Toni Urpi
Service and Information System Engineering Dep., Universitat Politècnica de Catalunya
Verified email at essi.upc.edu
TitleCited byYear
A method for change computation in deductive databases
T Urpi, A Olive
VLDB 92, 225-237, 1992
901992
Checking query containment with the CQC method
C Farré, E Teniente, T Urpí
Data & Knowledge Engineering 53 (2), 163-223, 2005
562005
LEARN-SQL: Automatic assessment of SQL based on IMS QTI specification
A Abelló, ME Rodríguez, T Urpí, X Burgués, MJ Casany, C Martín, C Quer
2008 Eighth IEEE International Conference on Advanced Learning Technologies …, 2008
402008
AuRUS: automated reasoning on UML/OCL schemas
A Queralt, G Rull, E Teniente, C Farré, T Urpí
International Conference on Conceptual Modeling, 438-444, 2010
252010
Containment of conjunctive queries over databases with null values
C Farré, W Nutt, E Teniente, T Urpí
International Conference on Database Theory, 389-403, 2007
242007
A common framework for classifying and specifying deductive database updating problems
E Teniente, T Urpí
Proceedings of the Eleventh International Conference on Data Engineering …, 1995
241995
Validation of mappings between schemas
G Rull, C Farré, E Teniente, T Urpí
Data & Knowledge Engineering 66 (3), 414-437, 2008
232008
SVTe: a tool to validate database schemas giving explanations
C Farré, G Rull, E Teniente, T Urpí
Proceedings of the 1st international workshop on Testing database systems, 9, 2008
202008
Handling conceptual model validation by planning
D Costal, E Teniente, T Urpí, C Farré
International Conference on Advanced Information Systems Engineering, 255-271, 1996
201996
Providing explanations for database schema validation
G Rull, C Farré, E Teniente, T Urpí
International Conference on Database and Expert Systems Applications, 660-667, 2008
182008
MVT: a schema mapping validation tool
G Rull, C Farré, E Teniente, T Urpí
Proceedings of the 12th International Conference on Extending Database …, 2009
172009
Semantic change computation optimization in active databases
T Urpi, A Olivé
Proceedings of IEEE International Workshop on Research Issues in Data …, 1994
171994
A new approach for checking schema validation properties
C Farré, E Teniente, T Urpí
International Conference on Database and Expert Systems Applications, 77-86, 2004
142004
AuRUS: explaining the validation of UML/OCL conceptual schemas
G Rull, C Farré, A Queralt, E Teniente, T Urpí
Software & Systems Modeling 14 (2), 953-980, 2015
132015
SVT: schema validation tool for microsoft SQL-server
E Teniente, C Farré, T Urpí, C Beltrán, D Gañán
Proceedings of the Thirtieth international conference on Very large data …, 2004
132004
On the abductive or deductive nature of database schema validation and update processing problems
E Teniente, T Urpí
Theory and practice of logic programming 3 (3), 287-327, 2003
132003
Automated reasoning on UML conceptual schemas with derived information and queries
C Farré, A Queralt, G Rull, E Teniente, T Urpí
Information and Software Technology 55 (9), 1529-1550, 2013
82013
Computing explanations for unlively queries in databases
G Rull, C Farré, E Teniente, T Urpí
Proceedings of the sixteenth ACM conference on Conference on information and …, 2007
82007
The constructive method for query containment checking
C Farré, E Teniente, T Urpí
International Conference on Database and Expert Systems Applications, 583-593, 1999
81999
Query containment checking as a view updating problem
C Farré, E Teniente, T Urpí
International Conference on Database and Expert Systems Applications, 310-321, 1998
81998
The system can't perform the operation now. Try again later.
Articles 1–20