A new proposal for debugging Datalog programs

DOI10.1016/J.ENTCS.2008.06.035MaRDI QIDQ5403479zbMATH OpenOpenAlexFDO

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

Publication date 26 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.06.035

zbMATH Keywords

declarative debuggingDatalog programs

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Graph theory (including graph drawing) in computer science (68R10) Logic programming (68N17) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A Theoretical Framework for the Declarative Debugging of Datalog Programs
• scientific article; zbMATH DE number 1332636
• A declarative debugging system for lazy functional logic programs
• Declarative debugging of functional logic programs
• Debugging non-ground ASP programs: technique and graphical tools

Cited in

(4)

• scientific article; zbMATH DE number 1406215 (Why is no real title available?)
• A Theoretical Framework for the Declarative Debugging of Datalog Programs
• Programming Languages and Systems
• Algorithmic debugging of SQL views

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: A new proposal for debugging Datalog programs

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