Sémantique bien fondée disjonctive

par Corinne Plourde

Thèse de doctorat en Informatique

Sous la direction de Françoise Gire.

Soutenue en 2003

à Paris 1 .


  • Résumé

    Cette thèse propose une nouvelle sémantique partielle pour les Bases de Données Déductives Disjonctives Normales, appelée Sémantique Bien Fondée Disjonctive. Cette sémantique généralise aux Bases de Donnée. S Déductives Disjonctives Normales, la Sémantique Bien Fondée des Bases de Données Déductives Normales (i. E. Sans disjonction). Nous donnons pour cette sémantique à la fois une définition déclarative et une procédure opérationnelle. De plus, il est prouvé que, dans le cas des Bases de Données Déductives Disjonctives Positives (i. E. Sans négation), cette sémantique coïncide avec l'intersection des Modèles Minimaux.

  • Titre traduit

    Disjunctive well founded semantics


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (159 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 157-159

Où se trouve cette thèse ?

  • Bibliothèque : Université Panthéon-Sorbonne. Bibliothèque Pierre Mendès France.
  • Consultable sur place dans l'établissement demandeur
  • Cote : E 03 : 59
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.