Applications des logiques multivaluées aux bases de données avec informations incertaines

par Daniel Stamate

Thèse de doctorat en Sciences et techniques

Sous la direction de Nicolas Spyratos.

Soutenue en 1999

à Paris 11, Orsay .


  • Résumé

    La thèse propose une approche de bases de données déductives avec informations incertaines qui se base sur le formalisme des logiques multivaluées. Dans la première partie du document, en considérant une logique à cinq valeurs, nous décrivons la sémantique stable multivaluée des bases de données déductives et de leurs mises à jour. L'approche consiste dans des mises à jours déterministes, qui concernent les prédicats extensionnels (comme dans les approches usuelles) mais aussi les prédicats intentionnels. Nous montrons l'existence de bonnes propriétés des mises à jour comme l'idempotence, la réversibilité, la monotonie par rapport au degré de connaissance et la monotonie par rapport au degré de vérité dans les bases avec des règles sans négation. Dans la deuxième partie de la thèse nous introduisons un cadre logique pour décrire et imposer de manière automatique des contraintes sur des bases de données avec des informations incertaines, au cours des mises à jour. Il existe une variété émergente d'applications pour lesquelles l'application automatique des contraintes est plus appropriée que dans l'approche classique (selon laquelle les mises à jour sont rejetées en cas d'inconsistance). Dans ce cadre nous proposons et traitons le problème suivant : quel type de contraintes permet d'effectuer les mises à jour sur l'état de la base de données de manière déterministe, sous des suppositions raisonnables dont fait partie celle du changement minimal. Les résultats principaux de cette partie concernent la caractérisation des ensembles de contraintes déterministes. En ce qui concerne l'optimisation des requêtes, un problème important est l'inclusion des requêtes. Dans la troisième partie de la thèse nous avons considéré et étudié le problème de l'inclusion des requêtes dans le contexte des informations incertaines.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (183 p.)
  • Annexes : Bibliogr. p. 175-183

Où se trouve cette thèse ?

  • Bibliothèque : Centre de recherche en informatique de Lens. Bibliothèque.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : THE 99 STA
  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible 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-014468
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.