A New Proposal for Debugging Datalog Programs | Zendy

Rafael Caballero | Zendy; Yolanda García-Ruiz | Zendy; Fernando Sáenz-Pérez | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A New Proposal for Debugging Datalog Programs

Author(s) -

Rafael Caballero,

Yolanda García-Ruiz,

Fernando Sáenz-Pérez

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.06.035

Subject(s) - debugger , datalog , debugging , programming language , computer science , semantics (computer science) , algorithmic program debugging , deductive database , computation , declarative programming , process (computing) , theoretical computer science , programming paradigm , inductive programming

In this paper, we propose to apply declarative debugging to Datalog programs. Our approach relies on program semantics rather than on the computation mechanism. The debugging process starts when the user detects an unexpected answer. By asking questions about the intended semantics, the debugger looks for incorrect program relations. While usual declarative debuggers for other languages are based on computation trees, we show that graphs are more convenient structures for representing Datalog computations. The theoretical framework is complemented by the implementation of a debugger for the deductive database system DES, a publicly available open-source project

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research