Conception et integration d'un langage de regles de production dans un sgbd relationnel

par Christophe Doe de Maindreville

Thèse de doctorat en Sciences appliquées

Sous la direction de Georges Gardarin.

Soutenue en 1988

à Paris 6 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 175 P.
  • Annexes : 100 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1988 209
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1988
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.