Declarative datalog debugging for mere mortals

Sven Köhler, Bertram Ludäscher, Yannis Smaragdakis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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 engines (DLV and LogicBlox), demonstrating the simplicity, effectiveness, and system-independent nature of our method.

Original languageEnglish (US)
Title of host publicationDatalog in Academia and Industry - Second International Workshop, Datalog 2.0, Proceedings
Pages111-122
Number of pages12
DOIs
StatePublished - 2012
Externally publishedYes
Event2nd International Workshop on Datalog in Academia and Industry, Datalog 2.0 - Vienna, Austria
Duration: Sep 11 2012Sep 13 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7494 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other2nd International Workshop on Datalog in Academia and Industry, Datalog 2.0
CountryAustria
CityVienna
Period9/11/129/13/12

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Declarative datalog debugging for mere mortals'. Together they form a unique fingerprint.

Cite this