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

A deductive database model based on monadic logic

• Auteur / Autrice : DIMITRIOS THEODORATOS
• Direction : Nicolas Spyratos
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1991
• Etablissement(s) : Paris 11

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