Un modele de bases de donnees deductives base sur la logique monadique

par DIMITRIOS THEODORATOS

Thèse de doctorat en Sciences appliquées

Sous la direction de NICOLAS SPYRATOS.

Soutenue en 1991

à Paris 11 .

    mots clés mots clés


  • Résumé

    La logique monadique (une restriction de la logique du premier ordre a un langage ne comprenant que des symboles de predicat unaires) peut etre utilisee pour definir des bases de donnees deductives, appelees bases de donnees monadiques. Les bases de donnees monadiques permettent la modelisation de faits positifs (il existe un objet qui a certaines proprietes), de faits negatifs (la negation d'un fait positif) et de regles (chaque objet qui a certaines proprietes a aussi certaines autres proprietes). L'originalite de cette approche logique aux bases de donnees est que les elements du domaine sont representes par des symboles de predicat unaires et non pas par des constantes. Nous presentons un systeme formel correct et complet pour faits et regles ainsi que des algorithmes polynomiaux pour le probleme de l'implication correspondant. Les bases de donnees monadiques sont etendues afin de pouvoir representer le type de chaque propriete (bases de donnees monadiques typees). Nous definissons un langage de requetes simple pour les bases de donnees monadiques typees et nous proposons une procedure d'evaluation correcte et complete. De mises-a-jour des bases de donnees monadiques sont definies et des procedures pour les effectuer sont proposees. Une extension des bases de donnees monadiques avec l'egalite est etudiee. Finalement nous avons montre comment nous pouvons utiliser les bases de donnees monadiques typees pour representer et manipuler les bases de donnees relationnelles


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 74 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-010322
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.