The Webdamlog System Managing Distributed Knowledge on the Web

Serge Abiteboul 1, 2 Émilien Antoine 1, 2 Julia Stoyanovich 3, 4
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
Abstract : We study the use of WebdamLog, a declarative high-level language in the style of datalog, to support the distribution of both data and knowledge (i.e., programs) over a network of autonomous peers. The main novelty of WebdamLog compared to datalog is its use of delegation, that is, the ability for a peer to communicate a program to another peer. We present results of a user study, showing that users can write WebdamLog programs quickly and correctly, and with a minimal amount of training. We present an implementation of the WebdamLog inference engine relying on the Bud datalog engine. We describe an experimental evaluation of the WebdamLog engine, demonstrating that WebdamLog can be implemented efficiently. We conclude with a discussion of ongoing and future work.
Type de document :
Rapport
[Technical Report] 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00813300
Contributeur : Émilien Antoine <>
Soumis le : lundi 15 avril 2013 - 13:56:24
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : mardi 16 juillet 2013 - 04:06:49

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00813300, version 1
  • ARXIV : 1304.4187

Collections

Citation

Serge Abiteboul, Émilien Antoine, Julia Stoyanovich. The Webdamlog System Managing Distributed Knowledge on the Web. [Technical Report] 2013. 〈hal-00813300〉

Partager

Métriques

Consultations de la notice

423

Téléchargements de fichiers

347