Declarative taxonomic constraint enforcement in conceptual schemas
We propose to declaratively specify policies for the enforcement of integrity constraints directly in the structural conceptual schema. The policies we propose depend on the kind of taxonomic constraint to be enforced (disjointness, covering or specialization) and on the particular event that may ca...
| Autores: | , , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 2005 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/84118 |
| Acceso en línea: | https://hdl.handle.net/2117/84118 |
| Access Level: | acceso abierto |
| Palabra clave: | Taxonomic integrity constraints Conceptual schema Conceptual modelling Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
| Sumario: | We propose to declaratively specify policies for the enforcement of integrity constraints directly in the structural conceptual schema. The policies we propose depend on the kind of taxonomic constraint to be enforced (disjointness, covering or specialization) and on the particular event that may cause the constraint violation. We also provide a formal definition of these policies and of the repair actions that must be taken into account to guarantee the enforcement of the corresponding constraint. This formalization serves as a basis for the automatic repair of events to preserve consistency and for ensuring that the repair process terminates. |
|---|