Optimisation et simplification des requêtes : SYDIN, un outil de déduction et de maintien d’intégrité, dans les bases de données déductives

par Mohamed Ali Touati

Thèse de doctorat en informatique et automatique appliquées

Sous la direction de Jacques Kouloumdjian.

Soutenue en 1990

à Lyon, INSA , en partenariat avec LIA - Laboratoire d'Informatique Appliquée (Lyon) (laboratoire) .


  • Résumé

    La coopération des systèmes de Gestion de Bases de Données Relationnelles et des langages fondés sur la logique mathématique, a donné naissance à une nouvelle génération de produits appelés Base de Données déductives. Dans cette thèse, nous présentons, SYDIN, une système issu d'une coopération entre le SGBD Oracle et le langage Prolog. SYDIN est un système de manipulation de connaissances, qui offre deux fonctionnalités principales : la déduction et la mise à jour. - Déduction : répond à une requête d’interrogation qui concerne la Base de Données et la mémoire de Prolog en utilisant aussi bien les informations explicites que celles déduites par les règles de déduction. Les requêtes récursives sont optimisées et résolues grâce à un évaluateur spécialisé. Mise à jour : met à jour une Contrainte d'intégrité, une règle de déduction ou les données de la base. Pour les contraintes d'intégrité. SYDIN n'intègre ou ne supprime une Contrainte que si l'ajout ou la suppression de cette dernière est cohérent avec le reste des Contraintes. Ainsi, à tout moment, l'ensemble des Contraintes d'intégrité est cohérent et non redondant, pour n'importe quel type de mise a jour. SYDIN est réalisé sur une station Sun 3 sous l'environnement Unix.

  • Titre traduit

    = Queries optimization and simplification : SYDIN, a deduction and maintaining integrity tool in deductive databases


  • Résumé

    [The cooperation of the relational datadases management systems and mathematical logic based languages generates a new product concept called deductive databases. SYDIN a system issued from bath Oracle and Prolog is a knowledge handling system which offers two main functionalities : deduction and updating. Deduction : the system answers an interrogation query which deals with the database and Prolog memory, using explicit informations and those inferred from the deduction rules as well. Recursive queries are optimized and solved by means of a specialised evaluator. Updating : the system updates either an integrity constraint, a deduction rule or data. Concerning integrity constraints, SYDIN neither integrates nor suppresses a constraint unless the adjonction or suppression of this formar one is consisted with the remaining constraints. By this way, the integrity constraints set is all the time consistent and non redundant for all kinds of updatin. SYDIN. Is implemented on Sun 3 workstation under Unix operating system. ]

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (342 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p.

Où se trouve cette thèse ?

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