Recherche Avancée

Thèse soutenue

Règles actives et règles déductives dans les bases de données à objets

FR  |  
EN
Auteur / Autrice : Claudia Lucia Roncancio
Direction : Mauricio Lopez, Michel Adiba
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1994
Etablissement(s) : Université Joseph Fourier (Grenoble ; 1971-2015)

Résumé

FR

L'objectif de cette thèse est l'enrichissement d'un système de gestion de bases de données à objets (SGBDO) par l'intégration de certaines fonctions typiquement remplies par des langages de règles. Plus précisément, nous nous sommes intéressés à l'intégration de règles actives dans un système à objets, afin de lui conférer la capacité de réagir à des situations particulières. Nous avons travaillé cet aspect en profondeur et nous proposons un modèle de règles actives qui tient pleinement compte des spécificités du contexte objet. Nous avons étudié l'approche langage de programmation pour base de données (LPBD) et l'intégration des règles actives dans un tel langage. Ceci a été validé par l'application de notre modèle de règles au LPBD orienté objet Peplom, pour lequel nous proposons les éléments nécessaires à une intégration harmonieuse du point de vue du modèle de données, du langage proprement dit ainsi que de sa mise en œuvre. Ceci constitue la partie principale de notre travail. Une deuxième partie de cette thèse, plus prospective et complémentaire à la première, porte sur l'intégration de règles déductives dans ce même contexte. Nous nous intéressons ici à des règles propres aux bases de données déductives, dont le principal objectif est de fournir un langage à la fois déclaratif et puissant pour la déduction d'information. Ces caractéristiques, fortement appréciées pour la manipulation de données, sont absentes de la plupart des LPBD des systèmes à objets et ne sont pas non plus les traits essentiels des règles actives telles que nous les proposons. Face à cette constatation, nous proposons l'intégration d'un langage de règles déductives à un langage de programmation essentiellement impératif