A method for change computation in deductive databases T Urpi, A Olive VLDB 92, 225-237, 1992 | 90 | 1992 |
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 | 62 | 2008 |
Checking query containment with the CQC method C Farré, E Teniente, T Urpí Data & Knowledge Engineering 53 (2), 163-223, 2005 | 59 | 2005 |
Validation of mappings between schemas G Rull, C Farré, E Teniente, T Urpí Data & Knowledge Engineering 66 (3), 414-437, 2008 | 30 | 2008 |
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 | 30 | 2007 |
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 | 28 | 2015 |
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 | 26 | 2010 |
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 | 25 | 1995 |
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 | 22 | 2016 |
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 | 21 | 2008 |
Handling conceptual model validation by planning D Costal, E Teniente, T Urpí, C Farré Advanced Information Systems Engineering: 8th International Conference …, 1996 | 21 | 1996 |
Improving learning in a database course using collaborative learning techniques C Martin, T Urpí, MJC Guerrero, XB Illa, C Quer, ME Rodríguez, A Abello The International journal of engineering education 29 (4), 986-997, 2013 | 19 | 2013 |
MVT: a schema mapping validation tool G Rull, C Farré, E Teniente, T Urpí Proceedings of the 12th International Conference on Extending Database …, 2009 | 18 | 2009 |
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 | 18 | 2008 |
Semantic change computation optimization in active databases T Urpi, A Olivé Proceedings of IEEE International Workshop on Research Issues in Data …, 1994 | 18 | 1994 |
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 | 14 | 2004 |
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 | 13 | 2013 |
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 | 13 | 2004 |
The constructive method for query containment checking C Farré, E Teniente, T Urpí International Conference on Database and Expert Systems Applications, 583-593, 1999 | 12 | 1999 |
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 | 11 | 2003 |