Diseño de esquemas de bases de datos: ciclos y descomposición. - Hacia el diseño de esquemas de bases de datos acíclicos. - Recubrimientos mínimos de esquemas de bases de datos acíclicos. - Eliminación de ciclos en los esquemas de bases de datos. - Un método de descomposición para bases de datos cíclicas. - Descomposición horizontal para manejar excepciones a dependencias funcionales. - Restricciones de integridad. - Compilación de programas de verificación de restricciones a partir de fórmulas de primer orden. - Aplicaciones de diferenciación finita para el control de integridad de la base de datos y la optimización de consultas / transacciones. - Una familia de lenguajes temporales para la descripción de restricciones de transición. - Información incompleta. - Razonamiento no monótono y bases de datos. - Sobre el procesamiento de consultas algebraicas en bases de datos lógicas. - Tipos de datos abstractos para especificaciones formales y vistas. - Construcción paso a paso de especificaciones algebraicas. - Propiedades de las vistas y su implementación. - Teoría del lenguaje de consulta. - Sobre la indecidibilidad de los problemas de equivalencia para expresiones relacionales. - Índice de nombres. - Lista de árbitros. - Direcciones de los autores colaboradores. Idioma: Inglés