Ernest Teniente

Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí: Validation of schema mappings with nested queries. Comput. Sci. Inf. Syst. 10(1): 79-104 (2013)

Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente: OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73: 1-22 (2012)

Anna Queralt, Ernest Teniente: Verification and Validation of UML Conceptual Schemas with OCL Constraints. ACM Trans. Softw. Eng. Methodol. 21(2): 13 (2012)

Montserrat Estañol, Anna Queralt, Maria-Ribera Sancho, Ernest Teniente: Artifact-Centric Business Process Models in UML. Business Process Management Workshops 2012: 292-303

Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente: OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics 2012

Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí: AuRUS: Automated Reasoning on UML/OCL Schemas. ER 2010: 438-444

Ernest Teniente, Silvia Abrahão (Eds.): XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), Valencia, Spain, September 7-10, 2010. Actas. IBERGARCETA Pub. S.L. 2010, isbn 978-84-92812-51-6

Jordi Cabot, Ernest Teniente: Incremental integrity checking of UML/OCL conceptual schemas. Journal of Systems and Software 82(9): 1459-1478 (2009)

Anna Queralt, Ernest Teniente: Reasoning on UML Conceptual Schemas with Operations. CAiSE 2009: 47-62

Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí: MVT: a schema mapping validation tool. EDBT 2009: 1120-1123

Anna Queralt, Ernest Teniente: Decidable Reasoning in UML Schemas with Constraints. JISBD 2009: 354-254

Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí: Validation of mappings between schemas. Data Knowl. Eng. 66(3): 414-437 (2008)

Anna Queralt, Ernest Teniente: A platform independent model for the electronic marketplace domain. Software and System Modeling 7(2): 219-235 (2008)

Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente: Improving the definition of general constraints in UML. Software and System Modeling 7(4): 469-486 (2008)

Anna Queralt, Ernest Teniente: Validation of UML Conceptual Schemas with Operations. CAiSE Forum 2008: 101-104

Dolors Costal, Cristina Gómez, Anna Queralt, Ernest Teniente: Drawing Preconditions of Operation Contracts from Conceptual Schemas. CAiSE 2008: 266-280

Anna Queralt, Ernest Teniente: Decidable Reasoning in UML Schemas with Constraints. CAiSE 2008: 281-295

Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí: Providing Explanations for Database Schema Validation. DEXA 2008: 660-667

Carles Farré, Guillem Rull, Ernest Teniente, Toni Urpí: SVTe: a tool to validate database schemas giving explanations. DBTest 2008: 9

Jordi Cabot, Ernest Teniente: Transformation techniques for OCL constraints. Sci. Comput. Program. 68(3): 179-195 (2007)

Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí: Computing explanations for unlively queries in databases. CIKM 2007: 955-958

Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí: Containment of Conjunctive Queries over Databases with Null Values. ICDT 2007: 389-403

Jordi Cabot, Ernest Teniente: Comprobación eficiente de restricciones de integridad en OCL. JISBD 2007: 391-392

Anna Queralt, Ernest Teniente: Specifying the Semantics of Operation Contracts in Conceptual Modeling. : 33-56 (2006)

Jordi Cabot, Ernest Teniente: Incremental Evaluation of OCL Constraints. CAiSE 2006: 81-95

Dolors Costal, Cristina Gómez, Ernest Teniente: Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas. CAiSE Forum 2006

Jordi Cabot, Ernest Teniente: Constraint Support in MDA Tools: A Survey. ECMDA-FA 2006: 256-267

Anna Queralt, Ernest Teniente: Reasoning on UML Class Diagrams with OCL Constraints. ER 2006: 497-512

Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente: Facilitating the Definition of General Constraints in UML. MoDELS 2006: 260-274

Jordi Cabot, Ernest Teniente: Transforming OCL constraints: a context change approach. SAC 2006: 1196-1201

Carles Farré, Ernest Teniente, Toni Urpí: Checking query containment with the CQC method. Data Knowl. Eng. 53(2): 163-223 (2005)

Jordi Cabot, Ernest Teniente: Computing the Relevant Instances That May Violate an OCL Constraint. CAiSE 2005: 48-62

Anna Queralt, Ernest Teniente: On the Semantics of Operation Contracts in Conceptual Modeling. CAiSE Short Paper Proceedings 2005

Jordi Cabot, Ernest Teniente: Generación Automática de Restricciones de Integridad: Estado del Arte. DSDM 2005

Jaelson Castro, Ernest Teniente (Eds.): Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings of the CAiSE'05 Workshops, Vol. 2. FEUP Edições, Porto 2005, isbn 972-752-077-4

Carles Farré, Ernest Teniente, Toni Urpí: A New Approach for Checking Schema Validation Properties. DEXA 2004: 77-86

Jordi Cabot, Ernest Teniente: Determining the Structural Events That May Violate an Integrity Constraint. UML 2004: 320-334

Ernest Teniente, Carles Farré, Toni Urpí, Carlos Beltrán, David Gañán: SVT: Schema Validation Tool for Microsoft SQL-Server. VLDB 2004: 1349-1352

Enric Mayol, Ernest Teniente: Consistency preserving updates in deductive databases. Data Knowl. Eng. 47(1): 61-103 (2003)

Ernest Teniente, Toni Urpí: On the abductive or deductive nature of database schema validation and update processing problems. TPLP 3(3): 287-327 (2003)

Stefano Paraboschi, Giuseppe Sindoni, Elena Baralis, Ernest Teniente: Materialized Viewsin Multidimensional Databases. Multidimensional Databases 2003: 222-251

Carles Farré, Ernest Teniente, Toni Urpí: Query Containment with Negated IDB Predicates. ADBIS 2003: 411-429

Jordi Cabot, Antoni Olivé, Ernest Teniente: Entity Types Derived by Symbol-Generating Rules. ER 2003: 376-389

Carles Farré, Ernest Teniente, Toni Urpí: Handling Existential Derived Predicates in View Updating. ICLP 2003: 148-162

Jordi Cabot, Antoni Olivé, Ernest Teniente: Representing Temporal Information in UML. UML 2003: 44-59

Ernest Teniente, Toni Urpí: On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems. CoRR cs.DB/0312046 (2003)

Antoni Olivé, Ernest Teniente: Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27(6): 391-409 (2002)

Dolors Costal, Maria-Ribera Sancho, Ernest Teniente: Understanding Redundancy in UML Models for Object-Oriented Analysis. CAiSE 2002: 659-674

Dolors Costal, Antoni Olivé, Ernest Teniente: Relationship Type Refinement in Conceptual Models with Multiple Classification. ER 2001: 397-411

Enric Mayol, Ernest Teniente: Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. FoIKS 2000: 192-212

Enric Mayol, Ernest Teniente: Addressing Efficiency Issues During the Process of Integrity Maintenance. DEXA 1999: 270-281

Carles Farré, Ernest Teniente, Toni Urpí: The Constructive Method for Query Containment Checking. DEXA 1999: 583-593

Enric Mayol, Ernest Teniente: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. ER (Workshops) 1999: 62-73

Carles Farré, Ernest Teniente, Toni Urpí: Query Containment Checking as a View Updating Problem. DEXA 1998: 310-321

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

Enric Mayol, Ernest Teniente: Structuring the Process of Integrity Maintenance. DEXA 1997: 262-275

Dolors Costal, Ernest Teniente, Toni Urpí: An Approach to Obtain Intensional Translation for Consistent View Updating. DOOD 1997: 175-192

Carles Farré, Ernest Teniente, Toni Urpí: Comprobación del Contenimiento de Consultas mediante Actualización de Vistas. JIDBD 1997: 91-100

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

Piero Fraternali, Ernest Teniente, Toni Urpí: Validating Active Rules by Planning. Rules in Database Systems 1997: 181-196

Elena Baralis, Stefano Paraboschi, Ernest Teniente: Materialized Views Selection in a Multidimensional Database. VLDB 1997: 156-165

Dolors Costal, Ernest Teniente, Toni Urpí, Carles Farré: Handling Conceptual Model Validation by Planning. CAiSE 1996: 255-271

Hendrik Decker, Ernest Teniente, Toni Urpí: How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549

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

Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241 (1995)

Ernest Teniente: An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. Deductive Databases / Abduction in Deductive Databases 1995: 111-125

Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182

Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD 1994: 135-158

Enric Mayol, Ernest Teniente: Incorporating Modification Requests in Updating Consistent Knowledge Bases. DAISD 1993: 335-359

Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260

Ernest Teniente: The Internal Events Method for View Updating in Deductive Databases. DAISD 1990: 173-190