Declarative Datalog Debugging for Mere Mortals

@inproceedings{Khler2012DeclarativeDD,
  title={Declarative Datalog Debugging for Mere Mortals},
  author={Sven K{\"o}hler and Bertram Lud{\"a}scher and Yannis Smaragdakis},
  booktitle={Datalog},
  year={2012}
}
Tracing why a “faulty” fact A is in the model M = P (I) of program P on input I quickly gets tedious, even for small examples. We propose a simple method for debugging and “logically profiling” P by generating a provenance-enriched rewriting P̂ , which records rule firings according to the logical semantics. The resulting provenance graph can be easily queried and analyzed using a set of predefined and ad-hoc queries. We have prototypically implemented our approach for two different Datalog… CONTINUE READING
BETA
Highly Cited
This paper has 35 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…