Resumen de Algoritmos de Insercion Segura para Esquemas Conceptuales de Bases de Datos.
En el presente articulo se presenta una propuesta para abordar el problema de la conservacion de la consistencia de bases de datos, que consiste en la generacion directa de algoritmos de insercion a partir de especificaciones formales de restricciones de integridad a nivel conceptual, utilizando el modelo de datos CCER (Varas, 1998). Se presenta una arquitectura de sistemas de bases de datos que incluye el conjunto de algoritmos, sus mecanismos de obtencion y de mapeamiento a niveles mas cercanos a la implementacion. Finalmente, se ejemplifica la obtencion de los algoritmos, mediante una restriccion particular.
