A Theoretical Framework for the Declarative Debugging of Datalog Programs

DOI10.1007/978-3-540-88594-8_8zbMath1165.68379OpenAlexW1600055947MaRDI QIDQ5504584

Fernando Sáenz-Pérez, Yolanda García-Ruiz, 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

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

Related Items (1)

Stepwise debugging of answer-set programs

Uses Software

• Datalog

Cites Work

• On the power of magic
• Horn clause queries and generalizations
• Knowledge Representation, Reasoning and Declarative Problem Solving
• A New Proposal for Debugging Datalog Programs
• Debugging ASP Programs by Means of ASP
• Unnamed Item
• Unnamed Item

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