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

• Auteur / Autrice : Daniel Stamate
• Direction : Nicolas Spyratos
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1999
• Etablissement(s) : Paris 11

Mots clés

Mots clés contrôlés

Treillis, Théorie des

Logique floue

Bases de données

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.