Skip to Main content Skip to Navigation

Distributed data management with the rule-based language: Webdamlog

Émilien Antoine 1, 2
2 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : Our goal is to enable a Web user to easily specify distributed data management tasks in place, i.e. without centralizing the data to a single provider. Our system is therefore not a replacement for Facebook, or any centralized system, but an alternative that allows users to launch their own peers on their machines processing their own local personal data, and possibly collaborating with Web services. We introduce Webdamlog, a datalog-style language for managing distributed data and knowledge. The language extends datalog in a number of ways, notably with a novel feature, namely delegation, allowing peers to exchange not only facts but also rules. We present a user study that demonstrates the usability of the language. We describe a Webdamlog engine that extends a distributed datalog engine, namely Bud, with the support of delegation and of a number of other novelties of Webdamlog such as the possibility to have variables denoting peers or relations. We mention novel optimization techniques, notably one based on the provenance of facts and rules. We exhibit experiments that demonstrate that the rich features of Webdamlog can be supported at reasonable cost and that the engine scales to large volumes of data. Finally, we discuss the implementation of a Webdamlog peer system that provides an environment for the engine. In particular, a peer supports wrappers to exchange Webdamlog data with non-Webdamlog peers. We illustrate these peers by presenting a picture management application that we used for demonstration purposes.
Complete list of metadatas
Contributor : Émilien Antoine <>
Submitted on : Friday, November 29, 2013 - 1:23:05 PM
Last modification on : Wednesday, December 4, 2019 - 1:28:02 PM
Document(s) archivé(s) le : Monday, March 3, 2014 - 7:45:12 PM


  • HAL Id : tel-00908155, version 2


Émilien Antoine. Distributed data management with the rule-based language: Webdamlog. Databases [cs.DB]. Université Paris Sud - Paris XI, 2013. English. ⟨tel-00908155v2⟩



Record views


Files downloads