Abstract FR:

Dans le langage propose (rdl1), une regle consiste en une partie condition qui est une formule de calcul relationel de duplex et une partie action qu'est une sequence d'insertions/suppressions sur la base de donnees. La semantique operationnelle d'un programme rdl1 est donnee en termes d'etats de la base de donnees. L'execution d'un programme rdl1 definit alors une suite d'instances et est alors compris comme une fonction de transfert, eventuellement non deterministe, entre deux etats de la base de donnees. Un modele de representation et d'execution du langage rdl1 derive des reseaux de petri a predicats et introduit. Sont aussi presentes trois algorithmes d'evaluation et d'optimisation de programmes rdl1