Bases de données déductives : négation et logique des défauts

par Nicole Bidoit-Tollu

Thèse de doctorat en Mathématiques

Sous la direction de François Bancilhon.

Soutenue en 1989

à Paris 11 .


  • Résumé

    Cette thèse présente une étude des problèmes liés à l'introduction de la négation dans les programmes de règles pour bases de données ou programmes logiques. L'introduction de la négation est requise pour augmenter la puissance d'expression de ces langages. L'utilisation de la négation en base de données et en programmation logique ne peut être formalisée par la négation de la logique du premier ordre. La définition de la sémantique de la négation, sous forme déclarative, est le problème central abordé dans cette thèse. Cette thèse propose une approche fondée sur la logique des défauts qui appartient au groupe des logiques non monotones dont l'objet est de fournir un formalisme du raisonnement de sens commun. Le postulat du monde ferme est un cas particulier de raisonnement par défaut et la logique des défauts offre un formalisme adéquat pour définir la sémantique déclarative de la négation. La présence d’écursion négative dans un programme logique peut ne pas permettre d'associer une sémantique à ce programme. La classe bien connue des programmes stratifiés est considérée dans cette étude. Cette classe, trop respective parce qu'excluant certains programmes simples dont la sémantique est intuitivement claire, est étendue à la classe des programmes effectivement stratifiés. Un effort particulier est dédié à la comparaison de l'approche logique des défauts avec d'autres approches et cette thèse comprend un état de l'art du domaine ou les différentes approches examinées sont présentées de la façon la plus uniforme possible

  • Titre traduit

    Deductive data bases : negation and default logic


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication

Un modèle de données relationnel non normalisé : algèbre et interprétation


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (239 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. en fin de chapitres

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Dauphine (Paris). Service commun de la documentation.
  • Disponible pour le PEB
  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1989)387
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-035663

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1989-BID
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.

Consulter en bibliothèque

Cette thèse a donné lieu à une publication

Informations

  • Sous le titre : Un modèle de données relationnel non normalisé : algèbre et interprétation
  • Détails : 1 vol. (197 p.)
  • ISBN : 2-7261-0390-1
  • Annexes : Bibliogr. p. 195-197
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse\u00a0?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.