A la página de GIMAC
En bases de datos está tomando mucha relevancia el estudio de las relaciones entre los datos, sea en su vertiente de dependencias (de diversos tipos) o de asociaciones. Estas interrelaciones entre datos pueden concebirse como reglas de integridad que proporcionan información sobre la estructura de la base de datos y que, por tanto, pueden ayudar a su diseño y también a su manipulación. En esta propuesta se pretende dar una solución a la especificación y manipulación uniforme de esta información.
Habitualmente estas reglas de integridad son tratadas de forma independiente (por un lado las dependencias funcionales, por otro las dependencias difusas, etc) y en general las investigaciones se centran en cómo descubrir nuevas relaciones a partir de la propia base de datos (usando por ejemplo técnicas de minería de datos). En lugar de ello es posible acudir a un tratamiento uniforme de diversos tipos de estas reglas o dependencias y desarrollar métodos deductivos para descubrir otras nuevas a partir de la existentes. Ambas aproximaciones sólo no son incompatible, sino que se complementan, pues las reglas deducidas permiten podar los métodos de búsqueda sobre la base de datos y reglas descubiertas en la minería de datos aporta nuevos elementos para deducir nueva información.
En esta propuesta usaremos la lógica como herramienta de representación de diversos tipos de relaciones entre datos (concretamente, abordaremos de modo uniforme las dependencia funcionales, dependencias multivaluadas, dependencias de inclusión, dependencias difusas y dependencias temporales) y realizaremos el desarrollo de sistemas deductivos eficientes para estas reglas de la base de datos.
Para el desarrollo de esta propuesta contamos con la experiencia del subgrupo de la Universidad de Granada en el estudio de la información imprecisa, en el desarrollo de unos operadores relacionales difusos para bases de datos y la imlementación de herramientas para el desarrollo de una base de datos difusa, así como con la experiencia del sugrupo de Málaga en el diseño de muy diversos tipos de lógicas computacionales (modales, temporales, de dependencias funcionales, etc) y en la creación e implementación de sistemas de deducción para dichas lógicas, donde la eficiencia proviene de la aplicación perezosa de las tareas que se encargan de las etapas de coste exponencial de cada proceso de deducción.
A la página de GIMAC