The WebdamLog System: Managing Distributed Knowledge on the Web

Serge Abiteboul 1, 2 Émilien Antoine 1, 2 Julia Stoyanovich 3
2 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Résumé : Ce papier traite de la gestion des bases de connaissances distribuées, dans des environne- ments où un grand nombres de pairs autonomes et hétérogènes collaborent pour réaliser des tâches. Les informations sont représentées par des faits et les tâches correspondent à des règles logiques. Nous utilisons le langage WebdamLog, une variante de datalog pour les données dis- tribuées. Nous présentons l'implémentation d'un moteur WebdamLog et nous montrons son efficacité dans le cadre d'applications distribuées dans lesquels les pairs changent rapidement leurs bases de connaissances. Notre implémentation s'appuie sur Bud pour l'évaluation stan- dard de datalog. Le moteur WebdamLog étends Bud avec le support (1) de règles avec des prédicats non locaux dans le corps ; (2) de règles avec des variables pour les prédicats ou les noms des pairs ; (3) la gestion des délégations qui changent le programme des pairs distants.
Type de document :
Communication dans un congrès
Base de données avancées, Oct 2012, Clermont-Ferrand, France. 2012, 〈http://hal.inria.fr/hal-00813300〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00805797
Contributeur : Émilien Antoine <>
Soumis le : jeudi 4 avril 2013 - 13:59:25
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : vendredi 5 juillet 2013 - 02:45:09

Fichier

Camera-ready_version.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00805797, version 1

Collections

Citation

Serge Abiteboul, Émilien Antoine, Julia Stoyanovich. The WebdamLog System: Managing Distributed Knowledge on the Web. Base de données avancées, Oct 2012, Clermont-Ferrand, France. 2012, 〈http://hal.inria.fr/hal-00813300〉. 〈hal-00805797〉

Partager

Métriques

Consultations de la notice

561

Téléchargements de fichiers

163