An Experimental CLP Platform for Integrity Constraints and Abduction

Integrity constraint and abduction are important in query-answering systems for enhanced query processing and for expressing knowledge in databases. A straightforward characterization of the two is given in a subset of the language CHRv, originally intended for writing constraint solvers to be applied for CLP languages. This subset has a strikingly simple computational model that can be executed using existing, Prolog-based technology. Together with earlier results, this confirms CHRv as a multiparadigm platform for experimenting with combinations of top-down and bottom-up evaluation, disjunctive databases and, as shown here, integrity constraint and abduction

[1]  Editors , 1986, Brain Research Bulletin.

[2]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[3]  José Júlio Alferes,et al.  Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.

[4]  Jorge Lobo,et al.  Foundations of disjunctive logic programming , 1992, Logic Programming.

[5]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[6]  Antonis C. Kakas,et al.  Integrating Abductive and Constraint Logic Programming , 1995 .

[7]  Hendrik Decker,et al.  An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases , 1996, Joint International Conference and Symposium on Logic Programming.

[8]  Slim Abdennadher,et al.  Operational Semantics and Confluence of Constraint Propagation Rules , 1997, CP.

[9]  Francesca Toni,et al.  Executing Suspended Logic Programs , 1998, Fundam. Informaticae.

[10]  Henning Christiansen,et al.  Automated Reasoning with a Constraint-Based Metainterpreter , 1998, J. Log. Program..

[11]  Francesca Toni,et al.  Semantic Query Optimization through Abduction and Constraint Handling , 1998, FQAS.

[12]  Slim Abdennadher,et al.  Chr _ : a Flexible Query Language , 2022 .

[13]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[14]  Henning Christiansen,et al.  Integrity Constraints and Constraint Logic Programming , 1999 .

[15]  Gabriel M. Kuper,et al.  Constraint Databases , 2010, Springer Berlin Heidelberg.

[16]  Thom W. Frühwirth,et al.  A prolog constraint handling rules compiler and runtime system , 2000, Appl. Artif. Intell..

[17]  Henning Christiansen,et al.  Symbolic constraints for meta-logic programming , 2000, Appl. Artif. Intell..

[18]  J. van Leeuwen,et al.  Logic Programming , 2002, Lecture Notes in Computer Science.