A Theoretical Framework for the Declarative Debugging of Datalog Programs

DOI10.1007/978-3-540-88594-8_8zbMATH Open1165.68379OpenAlexW1600055947MaRDI QIDQ5504584FDOQ5504584

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

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

Mathematics Subject Classification ID

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

Cites Work

• Knowledge Representation, Reasoning and Declarative Problem Solving
• On the power of magic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Debugging ASP Programs by Means of ASP
• Horn clause queries and generalizations
• A new proposal for debugging Datalog programs

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

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)