An approach to face the database integrity maintenance problem is presented. Data insertion algorithms based on integrity constraints formal specifications at conceptual level, are generated, using CCER data model [10]. A multilevel database system architecture is presented, based on this proposal. Design process for algorithms associated with each integrity constraint, and a collaborative execution approach, are described. Finally, an example of this proposal, based on a particular integrity constraint, is shown.

En el presente artículo se presenta una propuesta para abordar el problema de la conservación de la consistencia de bases de datos, que consiste en la generación de algoritmos de inserción a partir de especificaciones formales de restricciones de integridad a nivel conceptual, utilizando el modelo de datos CCER [10]. Se presenta una arquitectura multinivel para sistemas de bases de datos, basada en esta propuesta. Se describe el proceso de diseño de los algoritmos asociados a cada restricción y una estrategia para la ejecución conjunta de los algoritmos generados. Finalmente, se presenta un ejemplo de esta propuesta basado en una restricción de integridad particular.