A Theoretical Framework for the Declarative Debugging of Datalog Programs

DOI10.1007/978-3-540-88594-8_8MaRDI QIDQ5504584zbMATH OpenOpenAlexFDO

Authors Y. García-Ruiz, F. Sáenz-Pérez, Rafael Caballero

Publication date 22 January 2009

Published in Semantics in Data and Knowledge Bases (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88594-8_8

Mathematics Subject Classification ID

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

Recommendations

• A new proposal for debugging Datalog programs
• Declarative debugging of functional logic programs
• scientific article; zbMATH DE number 1692897
• scientific article; zbMATH DE number 1332636
• A logical framework for debugging in declarative constraint programming

Cites work

• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 1332636 (Why is no real title available?)
• A new proposal for debugging Datalog programs
• Debugging ASP Programs by Means of ASP
• Horn clause queries and generalizations
• Knowledge Representation, Reasoning and Declarative Problem Solving
• On the power of magic

Cited in

(6)

• Stepwise debugging of answer-set programs
• A new proposal for debugging Datalog programs
• The Prolog debugger and declarative programming
• Enhancing declarative debugging with loop expansion and tree compression
• Programming Languages and Systems
• Algorithmic debugging of SQL views

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: A Theoretical Framework for the Declarative Debugging of Datalog Programs

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