Búsqueda avanzada

Tabling with Support for Relational Features in a Deductive Database


Tabling has been acknowledged as a useful technique in the logic programming arena for enhancing both performance and declarative properties of programs. As well, deductive database implementations benefit from this technique for implementing query solving engines. In this paper, we show how unusual operations in deductive systems can be integrated with tabling. Such operations come from relational database systems in the form of null-related (outer) joins, duplicate support and duplicate elimination. The proposal has been implemented as a proof of concept rather than an efficient system in the Datalog Educational System (DES) using Prolog as a development language and its dynamic database.

Palabras Clave:

Deductive databases - DES - Duplicates - Outer Joins - Relational databases - Tabling


  • Fernando Sáenz-Pérez {}
    Grupo de programación declarativa (GPD), Dept. Ingeniería del Software e Inteligencia Artificial, Universidad Complutense de Madrid, Spain




Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex