Experimenting with recursive queries in database and logic programming systems

DOI10.1017/S1471068407003158zbMATH Open1142.68338OpenAlexW2139861604WikidataQ59216125 ScholiaQ59216125MaRDI QIDQ5451970

N. Leone, G. Terracina, V. 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

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

Cites Work

• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning
• Title not available (Why is that?)

Cited In (9)

• The Intelligent Grounder of DLV
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
• HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems
• On combining ontologies and rules
• A note on fixpoint techniques in data base recursive logic programs
• Pruning external minimality checking for answer set programs using semantic dependencies
• Datalog and recursive query processing
• Title not available (Why is that?)
• Consistent query answering via ASP from different perspectives: Theory and practice

Uses Software

• GraphBase
• ASSAT
• Smodels
• XSB

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5451970)