Las restricciones de integridad en el modelado conceptual ER
| dc.contributor.advisor | Pérez Alonso, Alain | |
| dc.contributor.advisor | González González, Luisa Manuela | |
| dc.contributor.author | Pereira Toledo, Alain | |
| dc.coverage.spatial | 1016432 | en_US |
| dc.date.accessioned | 2016-07-05T22:25:34Z | |
| dc.date.available | 2016-07-05T22:25:34Z | |
| dc.date.issued | 2015-07-05 | |
| dc.description.abstract | En la práctica los esquemas Entidad Interrelación generados durante el modelado conceptual no son capaces de especificar muchas de las restricciones que gobiernan el universo de discurso, y que son necesarias para garantizar la integridad de un sistema de información. Aunque han existido intentos, la comunidad de diseñadores de bases de datos no ha adoptado aún una práctica para la expresión de las restricciones no asumidas por el modelo Entidad Interrelación. Por tanto es necesario identificar el lenguaje adecuado para expresar las restricciones de integridad de forma natural durante el modelado conceptual ER del universo de discurso. Luego se deben transformar en un lenguaje para representar restricciones de integridad de forma precisa y formal. Para ello se seleccionó RuleSpeak basado en SBVR, como el lenguaje apropiado para la expresión de restricciones de forma natural, y al Alloy como el lenguaje de representación. Finalmente se muestra la arquitectura, las reglas y el proceso para la transformación de restricciones explícitas, deónticas y condicionales de integridad expresadas en SBVR/RuleSpeak basadas en un esquema ER, hacia un esquema en Alloy. | en_US |
| dc.description.status | non-published | en_US |
| dc.identifier.uri | https://dspace.uclv.edu.cu/handle/123456789/6124 | |
| dc.language.iso | es | en_US |
| dc.publisher | Universidad Central “Marta Abreu” de Las Villas. Facultad de Matemática, Física y Computación. Departamento Ciencias de la Computación | en_US |
| dc.rights | Este documento es Propiedad Patrimonial de la Universidad Central “Marta Abreu” de Las Villas. Los usuarios podrán hacer uso de esta obra bajo la siguiente licencia: Creative Commons: Atribución-No Comercial-Compartir Igual 4.0 License | en_US |
| dc.subject | Entidad Interrelación | en_US |
| dc.subject | Modelado Conceptual | en_US |
| dc.subject | Sistema de Información | en_US |
| dc.title | Las restricciones de integridad en el modelado conceptual ER | en_US |
| dc.type | Thesis | en_US |
| dc.type.thesis | master | en_US |