Toni Urpi
Toni Urpi
Service and Information System Engineering Dep., Universitat Politècnica de Catalunya
Correu electrònic verificat a essi.upc.edu
TítolCitada perAny
A method for change computation in deductive databases
T Urpi, A Olive
VLDB 92, 225-237, 1992
891992
Checking query containment with the CQC method
C Farré, E Teniente, T Urpí
Data & Knowledge Engineering 53 (2), 163-223, 2005
552005
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
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
252007
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
242010
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
222008
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
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, 1-6, 2008
182008
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
172008
Semantic change computation optimization in active databases
T Urpi, A Olivé
Proceedings of IEEE International Workshop on Research Issues in Data …, 1994
161994
MVT: a schema mapping validation tool
G Rull, C Farré, E Teniente, T Urpí
Proceedings of the 12th International Conference on Extending Database …, 2009
142009
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
132004
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
122015
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
122003
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
112004
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
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
Validating active rules by planning
P Fraternali, E Teniente, T Urpí
International Workshop on Rules in Database Systems, 181-196, 1997
81997
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20