Experimenting with recursive queries in database and logic programming systems

DOI10.1017/S1471068407003158zbMath1142.68338OpenAlexW2139861604WikidataQ59216125 ScholiaQ59216125MaRDI QIDQ5451970

Nicola Leone, Giorgio Terracina, Vincenzino Lio, Claudio Panetta

Publication date: 27 March 2008

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068407003158

zbMATH Keywords

database management systems

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (6)

The Intelligent Grounder of DLV ⋮ Consistent query answering via ASP from different perspectives: Theory and practice ⋮ On combining ontologies and rules ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems

Uses Software

• GraphBase
• ASSAT
• Smodels
• XSB

Cites Work

• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning
• Unnamed Item

This page was built for publication: Experimenting with recursive queries in database and logic programming systems