HAL : hal-00068750, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

IEEE Transactions on Knowledge and Data Engineering 7 (1995) 137-149

Linearizing some recursive logic programs

Irène Guessarian 1, Jean-Eric Pin 1

(1995)

On donne dans cet article une condition suffisante pour que le plus petit point fixe de l'équation X = a + f(X)X soit égal au plus petit point fixe de l'équation X = a + f(a)X. On applique ensuite cette condition aux programmes logiques récursifs contenant des règles chaînées: on la traduit en une condition suffisante sous laquelle un programme récursif contenant n ? 2 appels récursifs dans le corps de ses règles est équivalent à un programme linéaire contenant au plus un appel récursif dans le corps de ses règles. On termine par une discussion qui replace notre condition par rapport à d'autres approches existant dans la littérature. Abstract : We first give in this paper a sufficient condition under which the the least fixpoint of the equation X = a + f(X)X equals the least fixpoint of the equation X = a + f(a)X; we then apply that condition to recursive logic programs containing chain rules: we translate it into a sufficient condition under which a recursive logic program containing n ? 2 recursive calls in the bodies of the rules is equivalent to a linear program containing at most one recursive call in the bodies of the rules. We conclude with a discussion comparing our condition with the other approaches to linearization studied in the literature.

1 :	Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA)
	CNRS : UMR7089 – Université Paris VII - Paris Diderot

Domaine

:

Informatique/Logique en informatique

Mots Clés : Logic programming – database – chain program – least fix-point – Horn clauses – rational function

hal-00068750, version 1

http://hal.archives-ouvertes.fr/hal-00068750

oai:hal.archives-ouvertes.fr:hal-00068750

Contributeur : Jean-Eric Pin <>

Soumis le : Samedi 13 Mai 2006, 21:55:59

Dernière modification le : Dimanche 14 Mai 2006, 08:55:36