 | 2009 |
|---|
| 63 |       | Anna Queralt,
Ernest Teniente:
Reasoning on UML Conceptual Schemas with Operations.
CAiSE 2009: 47-62 |
| 62 | | Guillem Rull,
Carles Farré,
Ernest Teniente,
Toni Urpí:
MVT: a schema mapping validation tool.
EDBT 2009: 1120-1123 |
| 61 |  | Anna Queralt,
Ernest Teniente:
Decidable Reasoning in UML Schemas with Constraints.
JISBD 2009: 354-254 |
| 60 | | Jordi Cabot,
Ernest Teniente:
Incremental integrity checking of UML/OCL conceptual schemas.
Journal of Systems and Software 82(9): 1459-1478 (2009) |
| 2008 |
|---|
| 59 | | Dolors Costal,
Cristina Gómez,
Anna Queralt,
Ernest Teniente:
Drawing Preconditions of Operation Contracts from Conceptual Schemas.
CAiSE 2008: 266-280 |
| 58 | | Anna Queralt,
Ernest Teniente:
Decidable Reasoning in UML Schemas with Constraints.
CAiSE 2008: 281-295 |
| 57 | | Anna Queralt,
Ernest Teniente:
Validation of UML Conceptual Schemas with Operations.
CAiSE Forum 2008: 101-104 |
| 56 | | Carles Farré,
Guillem Rull,
Ernest Teniente,
Toni Urpí:
SVTe: a tool to validate database schemas giving explanations.
DBTest 2008: 9 |
| 55 | | Guillem Rull,
Carles Farré,
Ernest Teniente,
Toni Urpí:
Providing Explanations for Database Schema Validation.
DEXA 2008: 660-667 |
| 54 | | Guillem Rull,
Carles Farré,
Ernest Teniente,
Toni Urpí:
Validation of mappings between schemas.
Data Knowl. Eng. 66(3): 414-437 (2008) |
| 53 | | Anna Queralt,
Ernest Teniente:
A platform independent model for the electronic marketplace domain.
Software and System Modeling 7(2): 219-235 (2008) |
| 52 | | 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) |
| 2007 |
|---|
| 51 | | Guillem Rull,
Carles Farré,
Ernest Teniente,
Toni Urpí:
Computing explanations for unlively queries in databases.
CIKM 2007: 955-958 |
| 50 | | Carles Farré,
Werner Nutt,
Ernest Teniente,
Toni Urpí:
Containment of Conjunctive Queries over Databases with Null Values.
ICDT 2007: 389-403 |
| 49 | | Jordi Cabot,
Ernest Teniente:
Transformation techniques for OCL constraints.
Sci. Comput. Program. 68(3): 179-195 (2007) |
| 2006 |
|---|
| 48 | | Jordi Cabot,
Ernest Teniente:
Incremental Evaluation of OCL Constraints.
CAiSE 2006: 81-95 |
| 47 | | Dolors Costal,
Cristina Gómez,
Ernest Teniente:
Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas.
CAiSE Forum 2006 |
| 46 | | Jordi Cabot,
Ernest Teniente:
Constraint Support in MDA Tools: A Survey.
ECMDA-FA 2006: 256-267 |
| 45 | | Anna Queralt,
Ernest Teniente:
Reasoning on UML Class Diagrams with OCL Constraints.
ER 2006: 497-512 |
| 44 | | Dolors Costal,
Cristina Gómez,
Anna Queralt,
Ruth Raventós,
Ernest Teniente:
Facilitating the Definition of General Constraints in UML.
MoDELS 2006: 260-274 |
| 43 | | Jordi Cabot,
Ernest Teniente:
Transforming OCL constraints: a context change approach.
SAC 2006: 1196-1201 |
| 42 | | Anna Queralt,
Ernest Teniente:
Specifying the Semantics of Operation Contracts in Conceptual Modeling.
J. Data Semantics VII: 33-56 (2006) |
| 2005 |
|---|
| 41 | | Jaelson Castro,
Ernest Teniente:
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 |
| 40 | | Jordi Cabot,
Ernest Teniente:
Computing the Relevant Instances That May Violate an OCL Constraint.
CAiSE 2005: 48-62 |
| 39 | | Anna Queralt,
Ernest Teniente:
On the Semantics of Operation Contracts in Conceptual Modeling.
CAiSE Short Paper Proceedings 2005 |
| 38 | | Jordi Cabot,
Ernest Teniente:
Generación Automática de Restricciones de Integridad: Estado del Arte.
DSDM 2005 |
| 37 | | Carles Farré,
Ernest Teniente,
Toni Urpí:
Checking query containment with the CQC method.
Data Knowl. Eng. 53(2): 163-223 (2005) |
| 2004 |
|---|
| 36 | | Carles Farré,
Ernest Teniente,
Toni Urpí:
A New Approach for Checking Schema Validation Properties.
DEXA 2004: 77-86 |
| 35 | | Jordi Cabot,
Ernest Teniente:
Determining the Structural Events That May Violate an Integrity Constraint.
UML 2004: 320-334 |
| 34 | | Ernest Teniente,
Carles Farré,
Toni Urpí,
Carlos Beltrán,
David Gañán:
SVT: Schema Validation Tool for Microsoft SQL-Server.
VLDB 2004: 1349-1352 |
| 2003 |
|---|
| 33 | | Carles Farré,
Ernest Teniente,
Toni Urpí:
Query Containment with Negated IDB Predicates.
ADBIS 2003: 411-429 |
| 32 | | Jordi Cabot,
Antoni Olivé,
Ernest Teniente:
Entity Types Derived by Symbol-Generating Rules.
ER 2003: 376-389 |
| 31 | | Carles Farré,
Ernest Teniente,
Toni Urpí:
Handling Existential Derived Predicates in View Updating.
ICLP 2003: 148-162 |
| 30 | | Jordi Cabot,
Antoni Olivé,
Ernest Teniente:
Representing Temporal Information in UML.
UML 2003: 44-59 |
| 29 | | Stefano Paraboschi,
Giuseppe Sindoni,
Elena Baralis,
Ernest Teniente:
Materialized Viewsin Multidimensional Databases.
Multidimensional Databases 2003: 222-251 |
| 28 | | Ernest Teniente,
Toni Urpí:
On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems
CoRR cs.DB/0312046: (2003) |
| 27 | | Enric Mayol,
Ernest Teniente:
Consistency preserving updates in deductive databases.
Data Knowl. Eng. 47(1): 61-103 (2003) |
| 26 | | Ernest Teniente,
Toni Urpí:
On the abductive or deductive nature of database schema validation and update processing problems.
TPLP 3(3): 287-327 (2003) |
| 2002 |
|---|
| 25 | | Dolors Costal,
Maria-Ribera Sancho,
Ernest Teniente:
Understanding Redundancy in UML Models for Object-Oriented Analysis.
CAiSE 2002: 659-674 |
| 24 | | Antoni Olivé,
Ernest Teniente:
Derived types and taxonomic constraints in conceptual modeling.
Inf. Syst. 27(6): 391-409 (2002) |
| 2001 |
|---|
| 23 | | Dolors Costal,
Antoni Olivé,
Ernest Teniente:
Relationship Type Refinement in Conceptual Models with Multiple Classification.
ER 2001: 397-411 |
| 2000 |
|---|
| 22 | | Enric Mayol,
Ernest Teniente:
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance.
FoIKS 2000: 192-212 |
| 1999 |
|---|
| 21 | | Enric Mayol,
Ernest Teniente:
Addressing Efficiency Issues During the Process of Integrity Maintenance.
DEXA 1999: 270-281 |
| 20 | | Carles Farré,
Ernest Teniente,
Toni Urpí:
The Constructive Method for Query Containment Checking.
DEXA 1999: 583-593 |
| 19 | | Enric Mayol,
Ernest Teniente:
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating.
ER (Workshops) 1999: 62-73 |
| 1998 |
|---|
| 18 | | Carles Farré,
Ernest Teniente,
Toni Urpí:
Query Containment Checking as a View Updating Problem.
DEXA 1998: 310-321 |
| 17 | | 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 |
| 1997 |
|---|
| 16 | | Enric Mayol,
Ernest Teniente:
Structuring the Process of Integrity Maintenance.
DEXA 1997: 262-275 |
| 15 | | Dolors Costal,
Ernest Teniente,
Toni Urpí:
An Approach to Obtain Intensional Translation for Consistent View Updating.
DOOD 1997: 175-192 |
| 14 | | Carles Farré,
Ernest Teniente,
Toni Urpí:
Comprobación del Contenimiento de Consultas mediante Actualización de Vistas.
JIDBD 1997: 91-100 |
| 13 | | Piero Fraternali,
Ernest Teniente,
Toni Urpí:
Validating Active Rules by Planning.
Rules in Database Systems 1997: 181-196 |
| 12 | | 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 |
| 11 | | Elena Baralis,
Stefano Paraboschi,
Ernest Teniente:
Materialized Views Selection in a Multidimensional Database.
VLDB 1997: 156-165 |
| 1996 |
|---|
| 10 | | Dolors Costal,
Ernest Teniente,
Toni Urpí,
Carles Farré:
Handling Conceptual Model Validation by Planning.
CAiSE 1996: 255-271 |
| 9 | | Hendrik Decker,
Ernest Teniente,
Toni Urpí:
How to Tackle Schema Validation by View Updating.
EDBT 1996: 535-549 |
| 8 | | 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 |
| 1995 |
|---|
| 7 | | Ernest Teniente:
An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases.
Deductive Databases / Abduction in Deductive Databases 1995: 111-125 |
| 6 | | Ernest Teniente,
Toni Urpí:
A Common Framework for Classifying and Specifying Deductive Database Updating Problems.
ICDE 1995: 173-182 |
| 5 | | Ernest Teniente,
Antoni Olivé:
Updating Knowledge Bases While Maintaining Their Consistency
VLDB J. 4(2): 193-241 (1995) |
| 1994 |
|---|
| 4 | | Ernest Teniente,
Toni Urpí:
A Common Framework for Classifying and Specifying Deductive Database Updating Problems.
DAISD 1994: 135-158 |
| 1993 |
|---|
| 3 | | Enric Mayol,
Ernest Teniente:
Incorporating Modification Requests in Updating Consistent Knowledge Bases.
DAISD 1993: 335-359 |
| 1992 |
|---|
| 2 | | Ernest Teniente,
Antoni Olivé:
The Events Method for View Updating in Deductive Databases.
EDBT 1992: 245-260 |
| 1990 |
|---|
| 1 | | Ernest Teniente:
The Internal Events Method for View Updating in Deductive Databases.
DAISD 1990: 173-190 |
