Segui
Toni Urpi
Toni Urpi
Service and Information System Engineering Dep., Universitat Politècnica de Catalunya
Email verificata su essi.upc.edu
Titolo
Citata da
Citata da
Anno
A method for change computation in deductive databases
T Urpi, A Olive
VLDB 92, 225-237, 1992
891992
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
612008
Checking query containment with the CQC method
C Farré, E Teniente, T Urpí
Data & Knowledge Engineering 53 (2), 163-223, 2005
602005
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
302007
AuRUS: automated reasoning on UML/OCL schemas
A Queralt, G Rull, E Teniente, C Farré, T Urpí
Conceptual Modeling–ER 2010: 29th International Conference on Conceptual …, 2010
272010
Validation of mappings between schemas
G Rull, C Farré, E Teniente, T Urpí
Data & Knowledge Engineering 66 (3), 414-437, 2008
272008
AuRUS: explaining the validation of UML/OCL conceptual schemas
G Rull, C Farré, A Queralt, E Teniente, T Urpí
Software & Systems Modeling 14, 953-980, 2015
262015
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
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
232008
Handling conceptual model validation by planning
D Costal, E Teniente, T Urpí, C Farré
Advanced Information Systems Engineering: 8th International Conference …, 1996
221996
A software tool for E-assessment of relational database skills
A Abelló Gamazo, X Burgués Illa, MJ Casany Guerrero, C Martín Escofet, ...
International Journal of Engineering Education 32 (3A), 1289-1312, 2016
202016
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
202008
MVT: a schema mapping validation tool
G Rull, C Farré, E Teniente, T Urpí
Proceedings of the 12th International Conference on Extending Database …, 2009
182009
Semantic change computation optimization in active databases
T Urpi, A Olivé
Proceedings of IEEE International Workshop on Research Issues in Data …, 1994
181994
Improving learning in a database course using collaborative learning techniques
C Martin, T Urpí, MJ Casany, XB Illa, C Quer, ME Rodríguez, A Abello
The International journal of engineering education 29 (4), 986-997, 2013
172013
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
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
The constructive method for query containment checking
C Farré, E Teniente, T Urpí
International Conference on Database and Expert Systems Applications, 583-593, 1999
131999
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
112013
On the abductive or deductive nature of database schema validation and update processing problems
E Teniente, T Urpi
Theory and practice of logic programming 3 (3), 287-327, 2003
112003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20