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

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

• Auteur / Autrice : Mohamed Ali Touati
• Direction : Jacques Kouloumdjian
• Type : Thèse de doctorat
• Discipline(s) : informatique et automatique appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Lyon, INSA
• Partenaire(s) de recherche : Laboratoire : LIA - Laboratoire d'Informatique Appliquée (Lyon1972-1991)

Mots clés

Mots clés contrôlés

Systèmes de gestion de bases de données

Bases de données déductives

Cohérence (informatique)

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.

[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. ]