Optimisation et simplification des requetes : sydin, un outil de deduction et de maintien d'integrite dans les bases de donnees deductives

par MOHAMED ALI TOUATI

Thèse de doctorat en Sciences appliquées

Sous la direction de Jacques Kouloumdjian.

Soutenue en 1990

à Villeurbanne, INSA .

    mots clés mots clés


  • Résumé

    La cooperation des systemes de gestion de bases de donnees relationnelles et des langages fondes sur la logique mathematique, a donne naissance a une nouvelle generation de produits appeles base de donnees deductives. Dans cette these, nous presentons, sydin, une systeme issu d'une cooperation entre le sgbd oracle et le langage prolog. Sydin est un systeme de manipulation de connaissances, qui offre deux fonctionnalites principales: la deduction et la mise a jour. Deduction: repond a une requete d'interrogation qui concerne la base de donnees et la memoire de prolog en utilisant aussi bien les informations explicites que celles deduites par les regles de deduction. Les requetes recursives sont optimisees et resolues grace a un evaluateur specialise. Mise a jour : met a jour une contrainte d'integrite, une regle de deduction ou les donnees de la base. Pour les contraintes d'integrite. Sydin n'integre ou ne supprime une contrainte que si l'ajout ou la suppression de cette derniere est coherent avec le reste des contraintes. Ainsi, a tout moment, l'ensemble des contraintes d'integrite est coherent et non redondant, pour n'importe quel type de mise a jour. Sydin est realise sur une station sun 3 sous l'environnement unix


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 158 REF

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.