Skip to Main content Skip to Navigation
New interface
Reports (Technical report)

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], Inria Saclay - Ile de France
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 (Technical report)
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Émilien Antoine Connect in order to contact the contributor
Submitted on : Monday, April 15, 2013 - 1:56:24 PM
Last modification on : Friday, November 18, 2022 - 9:27:56 AM
Long-term archiving on: : Tuesday, July 16, 2013 - 4:06:49 AM


Files produced by the author(s)


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


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



Record views


Files downloads