Base de datos deductiva

Una base de datos Deductiva es un sistema de la base de datos que puede hacer deducciones (es decir: concluya hechos adicionales) basado en y hechos almacenados en la base de datos (deductiva). Datalog es la lengua típicamente solía especificar hechos, reglas y preguntas en bases de datos deductivas. Las bases de datos deductivas han crecido del deseo de combinar la programación de la lógica con bases de datos relacionales para construir sistemas que apoyan un formalismo potente y todavía son rápidos y capaces de tratar con datasets muy grande. Las bases de datos deductivas son más expresivas que bases de datos relacionales, pero menos expresivas que sistemas de programación de la lógica. Las bases de datos deductivas no han encontrado adopciones extendidas fuera de la academia, pero algunos de sus conceptos se usan en bases de datos relacionales de hoy para apoyar los rasgos avanzados de estándares SQL más recientes.

Bases de datos deductivas y programación lógica

Las bases de datos deductivas reutilizan un gran número de conceptos de la programación lógica; las reglas y los hechos especificados en la lengua de la base de datos deductiva Datalog parecen muy similares a aquellos en el Prólogo. Sin embargo, hay varias diferencias importantes entre bases de datos deductivas y programación lógica:

Adelante lectura



Buscar