A Counterexample-Guided Debugger for Non-recursive Datalog

[1]  Vítor Santos Costa,et al.  PrologCheck - Property-Based Testing in Prolog , 2014, FLOPS.

[2]  Melanie Herschel,et al.  Explaining missing answers to SPJUA queries , 2010, Proc. VLDB Endow..

[3]  Yannis Smaragdakis,et al.  Strictly declarative specification of sophisticated points-to analyses , 2009, OOPSLA.

[4]  Bertram Ludäscher,et al.  Declarative Datalog Debugging for Mere Mortals , 2012, Datalog.

[5]  Andrey Rybalchenko,et al.  Synthesizing software verifiers from proof rules , 2012, PLDI.

[6]  Bertram Ludäscher,et al.  First-Order Provenance Games , 2013, In Search of Elegance in the Theory and Practice of Computation.

[7]  Zhenjiang Hu,et al.  Programmable view update strategies on relations , 2019, Proc. VLDB Endow..

[8]  Rafael Caballero,et al.  A Theoretical Framework for the Declarative Debugging of Datalog Programs , 2008, SDKB.

[9]  Letizia Tanca,et al.  What you Always Wanted to Know About Datalog (And Never Dared to Ask) , 1989, IEEE Trans. Knowl. Data Eng..

[10]  Oded Shmueli,et al.  Equivalence of DATALOG Queries is Undecidable , 1993, J. Log. Program..

[11]  Ralf Lämmel,et al.  Bidirectional Transformations: A Cross-Discipline Perspective , 2009, ICMT@TOOLS.

[12]  Rafael Caballero,et al.  A New Proposal for Debugging Datalog Programs , 2008, Electron. Notes Theor. Comput. Sci..

[13]  Rafael Caballero,et al.  A Deductive Database with Datalog and SQL Query Languages , 2011, APLAS.

[14]  Ehud Y. Shapiro,et al.  Algorithmic program diagnosis , 1982, POPL '82.

[15]  Emina Torlak,et al.  A lightweight symbolic virtual machine for solver-aided host languages , 2014, PLDI.

[16]  Adrián Riesco,et al.  A Survey of Algorithmic Debugging , 2017, ACM Comput. Surv..

[17]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[18]  Bertram Ludäscher,et al.  A SQL-Middleware Unifying Why and Why-Not Provenance for First-Order Queries , 2017, 2017 IEEE 33rd International Conference on Data Engineering (ICDE).

[19]  Val Tannen,et al.  Update Exchange with Mappings and Provenance , 2007, VLDB.

[20]  Georg Gottlob,et al.  Datalog±: a unified approach to ontologies and integrity constraints , 2009, ICDT '09.