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
CNRS - Centre National de la Recherche Scientifique : UMR8643, Inria Saclay - Ile de France, ENS Cachan - École normale supérieure - Cachan, LSV - Laboratoire Spécification et Vérification [Cachan]
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.
Document type :
Reports
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-00813300
Contributor : Émilien Antoine <>
Submitted on : Monday, April 15, 2013 - 1:56:24 PM
Last modification on : Thursday, February 7, 2019 - 5:29:24 PM
Long-term archiving on : Tuesday, July 16, 2013 - 4:06:49 AM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

455

Files downloads

424