Línea: Deducción y Actividad en Bases de Datos

Objetivos:

• En el marco de las bases de datos SQL3 (relacionales con deducción y actividad) proponer métodos que mejoren las propuestas existentes para la comprobación de la integridad, la restauración de la consistencia y la actualización de vistas.

Actividad:

• Dos tesis realizadas, un proyecto de investigación y varias publicaciones científicas.

 

• Tesis doctorales:

        Título: Comprobación de la Integridad en Bases de Datos Deductivas:
                    un método basado en el almacenamiento de los caminos de derivación.
        Autora: Matilde Celma Giménez.
        Directores: Dr. Isidro Ramos Salavert (DSIC)
                        Dr. Hendrik Decker (Centro de Investigación de Siemens. Munich)
        Fecha: Mayo 1992

        Título: Restauración de la consistencia en esquemas relacionales con vistas.
        Autora: Laura Mota Herranz.
        Directora: Dra. Matilde Celma Giménez
        Fecha: Junio 2001
 

• Proyectos de Investigación:

        Título: CABALA (Asimilación de Conocimiento en Bases de Datos Deductivas).
        Entidad financiadora: CYCIT en 1993.
        Investigadora principal: Dra. Matilde Celma Giménez
        Duración: 3 año
        Dotación: 4.741.000
 
• Publicaciones científicas:

  Comprobación de la integridad.
          Celma, M.; Decker, H.
          "Integrity checking in deductive databases. The ultimate method?"
          Proceedings of ADC’94 (5th Australian Database Conference),
          pgs. 145-160,Sacks-Davis (eds.), Global Publications Services, 1994.
          ISBN: 981-3049-00-6

          Celma, M.; Garcia, C.; Mota, L.
         "Comparing and Synthesizing Integrity Checking Methods for Deductive
          Databases"
          Proceedings of ICDE’94 (10th International Conference On Data Engineering,
          pgs. 214-222, IEEE Society, 1994, ISBN:0-8186-5400-7

          Decker, H.; Celma, M.
          "A slick procedure for integrity checking in deductive databases"
          Proceedings of ICLP’94 (11th International Conference on Logic
          Programming), pags. 456-469, Van Hentenrych (ed.)  MIT Press, 1994.,
          ISBN: 0-262-72002-1

  Restauración de la consistencia.
         Mota, L.; Celma, M.  PDF
         "Automatic generation of trigger rules for integrity enforcement in relational
         databases with view definition"
         Proceedings of  the FQAS98, International Conference on Flexible Query
         Answering Systems. Springer Verlag, LNAI Series, 1998
         ISBN: 3-540-65082-2

Mota, L..; Celma, M.
Integrity Enforcement in Relational Systems with Active and Deductive Capabilities.
Proceedings of  the AICCSA03. ACS/IEEE International Conference on Computer Systems and Applications. 2003
ISBN 0-7803-7983-7.
IEEE Catalog Number 03EX722

    Actualización del conocimiento.
         Mota, L.; Celma, M.; Decker,H.    PDF
         "Transaction trees for knowledge revision"
         Proceedings of  the FQAS00, International Conference on Flexible Query
         Answering Systems. Advances in Soft Computing, Physica- Verlag, 2000
         ISBN: 3-7908-1347-8