Experimenting with recursive queries in database and logic programming systems

DOI10.1017/S1471068407003158MaRDI QIDQ5451970zbMATH OpenOpenAlexWikidataFDO

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

Recommendations

• Recursive query processing: The power of logic
• Logic Programming and Nonmonotonic Reasoning
• Datalog and recursive query processing
• scientific article; zbMATH DE number 4106311
• scientific article; zbMATH DE number 4035216

Cites work

• scientific article; zbMATH DE number 704893 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning

Cited in

(9)

• 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
• Datalog and recursive query processing
• The intelligent grounder of DLV
• A note on fixpoint techniques in data base recursive logic programs
• scientific article; zbMATH DE number 4106311 (Why is no real title available?)
• A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
• Consistent query answering via ASP from different perspectives: theory and practice
• On combining ontologies and rules

Describes a project that uses

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)