lo mas

Bases de datos deductivas.
También llamadas bases de datos lógicas, es el mismo sistema de base de datos pero con la función principal de permitir hacer deducciones a través de inferencias. Se basa principalmente en reglas y hechos que son almacenados en la base de datos para ser utilizados como motor deductivo a la hora de realizar las consultas; puesto que se basa en lógica matemática.Necesidad de la inferencia en las aplicaciones
La inferencia en las aplicaciones nacen con el afán de ofrecer una respuesta a las necesidades planteadas por los usuarios y por las aplicaciones avanzadas, en donde se necesitan herramientas semánticamente más ricas que las provistas por las Bases de Datos Relacionales, aparecen recientes aplicaciones de los sistemas de bases de datos que consiste enofrecer recursos para definir Reglas Deductivas y Activas que permitan deducir, inferir u obtener información nueva a partir de los datos almacenados o sucesos condicionados.
La finalidad de estas aplicaciones es incorporar a las Bases de Datos Relacionales los beneficios de la inferencia lógica como instrumento para la formalización integrada de los aspectos estáticos y dinámicos del modeladorelacional de la BD en las aplicaciones.
Que es Datalog puro.

Facilidad de la negación estratificada del modelaje conceptual al diseño de base de datos deductivas
Contar con negación estratificada permite la capacidad de modelado natural de objetos del mundo real, encapsulando su estructura y comportamiento, que proporcionan los modelos orientados a objetos; la capacidad de derivación de nuevosconocimiento a partir de datos existentes, suministrando vínculos del mundo real en forma de reglas, que proporcionan los modelos de datos deductivos; y, además, la capacidad de almacenamiento persistente que proporcionan los sistemas administradores de bases de datos.















Un sistema de bases de datos que tenga la capacidad de definir reglas con las cuales deducir oinferir información adicional a partir de los hechos almacenados en las bases de datos se llama Sistema de Bases de Datos Deductivas. Puesto que parte de los fundamentos teóricos de algunos sistemas de ésta especie es la lógica matemática, a menudo se les denomina Bases de Datos Lógicas. Una base de datos deductiva es, en esencia, un programa lógico; mapeo de relaciones base hacia hechos, y reglas queson usadas para definir nuevas relaciones en términos de las relaciones base y el procesamiento de consultas.
Los sistemas Bases de Datos Deductivas intentan modificar el hecho de que los datos requeridos residan en la memoria principal (por lo que la gestión de almacenamiento secundario no viene al caso) de modo que un SGBD se amplíe para manejar datos que residen en almacenamiento secundario.En un sistema de Bases de Datos Deductivas por lo regular se usa un lenguaje declarativo para especificar reglas. Con lenguaje declarativo se quiere decir un lenguaje que define lo que un programa desea lograr, en vez de especificar los detalles de cómo lograrlo. Una máquina de inferencia (o mecanismo de deducción) dentro del sistema puede deducir hechos nuevos a partir de la base de datosinterpretando dichas reglas. El modelo empleado en las Bases de Datos Deductivas está íntimamente relacionado con el modelo de datos relacional, y sobre todo con el formalismo del cálculo relacional. También esta relacionado con el campo de la programación lógica y el lenguaje Prolog. Los trabajos sobre Bases de Datos Deductivas basados en lógica han utilizado Prolog como punto de partida. Con unsubconjunto de Prolog llamado Datalog se definen reglas declarativamente junto con un conjunto de relaciones existentes que se tratan como literales en el lenguaje. Aunque la estructura gramatical se parece a la de Prolog, su semántica operativa (esto es, la forma como debe ejecutarse un programa en Datalog) queda abierta.
Una Base de Datos Deductiva utiliza dos tipos de especificaciones: hechos y...