Algoritmos de Inserción Segura para Estructuras de Generalización con Cobertura Exclusiva en Esquemas de Bases de Datos Gonzalo Rojas D. Departamento de Ingeniería Informática y Ciencias de la Computación Universidad de Concepción grojas@inf.udec.cl Marcela Varas C. Departamento de Ingeniería Informática y Ciencias de la Computación Universidad de Concepción mvaras@inf.udec.cl Resumen En este artículo se presenta el resultado de la adopción de un enfoque para preservar la consistencia de bases de datos. Este enfoque consiste en la generación de procedimientos de inserción que obliguen al cumplimiento de las restricciones de integridad establecidas en el esquema de la base de datos. Se muestran los algoritmos generados directamente a partir de la especificación de restricciones que afectan a la estructura de generalización, considerando cobertura exclusiva. Finalmente, se presenta un ejemplo de su ejecución. Palabras Clave: Bases de Datos, Consistencia, Restricciones de Integridad, Procedimientos de Inserción, Estructura de Generalización. 1 Introducción. Uno de los aspectos más importantes a considerar durante la realización de transacciones a una base de datos (inserción, actualización o eliminación de datos) es el cumplimiento de las restricciones de integridad. Éstas son reglas que una base de datos debe satisfacer en todo momento, para poder representar fielmente una determinada realidad [5]. A menudo, las restricciones de integridad son implementadas en etapas tardías del desarrollo, con un alto grado de dependencia de la plataforma, o bien son completamente ignoradas, permitiendo que los usuarios modifiquen los datos sin preocuparse de su cumplimiento y, por ende, poniendo en riesgo la consistencia de la base de datos. A esto contribuye la limitada cantidad de restricciones posibles de expresar en los modelos de bases de datos tradicionales, como el MER y sus extensiones [2, 1] y el Relacional [3]. El presente artículo muestra, a través de un ejemplo específico de restricción de integridad, un enfoque alternativo al tratamiento descrito, generando procedimientos para inserción de datos que obliguen al cumplimiento de las restricciones establecidas en el esquema de la base de datos, con el fin de preservar la consistencia de la misma durante su manipulación. Este trabajo se basa en la obtención de un mecanismo de mapeamiento que asocia un procedimiento algorítmico a una restricción de integridad, con el cual el usuario podrá realizar la inserción de los datos respetando tal restricción. De este modo, se obtendrá un conjunto de algoritmos que podrá ser utilizado para implementar, en lenguaje de alto nivel, procedimientos que realicen este tipo de transacción. Las restricciones que participarán en este mapeamiento corresponden a las expresables en el modelo CCER (Constraint Centered Entity Relationship Model) [5], que es una extensión del modelo ER extendido de Batini [1], incluyendo reglas generadoras de estructuras y restricciones orientadas específicamente a la captura y representación de situaciones restrictivas. Los algoritmos generados asegurarán el cumplimiento de sus correspondientes restricciones, antes y durante la inserción de datos, no otorgando al usuario la posibilidad de violarlas. Con esto, se pretende generar una base de datos “consistente por inserción”, es decir, que la utilización de estos procedimientos asegure la mantención de la consistencia de la base de datos durante el ingreso de datos. El caso presentado muestra la generación directa de algoritmos para las restricciones que afectan a una Estructura de Generalización [6], donde las entidades de un Tipo de Entidad Genérico son clasificadas e incluidas en Tipos de Entidad Subconjunto. Este estudio se centra en Estructuras de Generalización con Cobertura Exclusiva, donde cada entidad está presente en sólo un Tipo de Entidad Subconjunto.