Bases De Datos Deductivas

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 deinferencias. 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 enló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 losusuarios 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 aplicacionesde los sistemas de bases de datos que consiste en ofrecer recursos para definir Reglas Deductivas y Activas que permitan deducir, inferir u obtener información nueva a partir de los datosalmacenados 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 laformalización integrada de los aspectos estáticos y dinámicos del modelado relacional de la BD en las aplicaciones.
Que es Datalog puro.

Facilidad de la negación estratificada delmodelaje 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 ycomportamiento, que proporcionan los modelos orientados a objetos; la capacidad de derivación de nuevos conocimiento a partir de datos existentes, suministrando vínculos del mundo real enforma 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.