Règles pour les mises a jour des bases de données déductives

par Mírian Halfeld Ferrari Alves

Thèse de doctorat en Sciences appliquées

Sous la direction de Nicolas Spyratos.

Soutenue en 1996

à Paris 11 .


  • Résumé

    Nous proposons une approche de bases de données déductives contenant deux types de règles: les règles de mise à jour de la forme l#0 l#1, ou l#0 et l#1 sont des littéraux, et des règles de requête, comme dans les programmes logiques normaux. Les règles de mise à jour sont vues comme des contraintes, dont toutes les conséquences doivent être satisfaites entre deux mises à jour consécutives. Les mises à jour sont toujours déterministes et préservent la cohérence de la base de données par rapport aux contraintes. La sémantique d'une base de données est calculée en considérant que les règles de mise à jour ont priorité sur les règles de requête: les règles de mise à jour peuvent engendrer des exceptions aux règles de requête. Dans ce contexte, nous présentons deux méthodes pour calculer la sémantique d'une base de données avec règles de mise à jour: l'approche bien fondée (qui utilise la sémantique bien fondée) et l'approche anser sets (qui utilise des programmes logiques avec négation classique). Nous proposons également une généralisation de notre modèle en termes d'operateurs monotones. Dans ce formalisme, nous généralisons de plus la notion de mise a jour concernant un seul fait (ou n-uplet) en ensemble de mises a jour. Nous montrons alors qu'il est possible d'appliquer ce formalisme général aux interfaces de type relation universelle

  • Titre traduit

    Update rules for deductive databases


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 Vol. 213 p..
  • Annexes : Bibliograph. p. 205-213

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Ecole Polytechnique de l’Université de Tours. Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-804
  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible 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-012802

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1996-HAL
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.