Abstract FR:

Cette these presente des techniques permettant la reecriture des programmes de regles, des techniques d'optimisation des programmes de regles par application des techniques de reecriture, et une methode de reecriture de contraintes d'integrite invoquant des relations deduites en contraintes d'integrite n'invoquant que les relations de base. Le contexte de cette etude est le s. G. B. D. Deductif rdl1 qui est le resultat de l'integration du langage rdl1 et du s. G. B. D. Sabrina. Le langage rdl1 est un langage de regles de production qui peut etre vu comme une extension de datalog aux mises a jour. L'ensemble des techniques est etudie sur le modele pcn qui est le modele de representation et d'execution des programmes rdl1. Ce modele, derive des reseaux de petri a predicats (prtn), permet de representer a la fois les aspects syntaxique et semantique des programmes de rdl1, et d'exprimer les reecritures sous forme d'algorithmes de graphe. Pour chaque technique de reecriture, il est prouve que la technique preserve la semantique du programme, les limites de son domaine d'application sont precisees. Les techniques d'optimisation sont des heuristiques qui reposent sur quatre hypotheses concernant l'execution des programmes de regles, ces hypotheses sont de type saturation des regles. Pour la methode de reecriture de contraintes d'integrite, un algorithme est propose