Skip to Main content Skip to Navigation
New interface
Conference papers

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], Inria Saclay - Ile de France
Abstract : The focus of this paper is on the management of distributed knowledge, in environments where a large number of autonomous and heterogeneous systems collaborate to support cer- tain tasks. All information is represented as logical facts, and tasks correspond to logical rules. We use the language WebdamLog, a recently introduced variant of datalog for dis- tributed data management. 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. This paper introduces a WebdamLog inference engine. Our main contribution is to demon- strate that such an engine may be implemented with good performance for very dynamic applications, i.e., for applications with rapidly evolving knowledge and with heavy knowledge exchange. To avoid reimplementing standard features of datalog engines, we developed Web- damLog on top of the Bud system, which has already been demonstrated to be very efficient. In this paper, we describe our implementation of the features that are specific to WebdamLog, and include: (1) support for complex rules with predicates in the rule body that are evaluated by remote peers; (2) support for variables for peer and predicate names that allow for very flexible management of distribution, e.g., for the discovery of new peers; and (3) management of delegations that lead to changes in the programs of remote peers. Our focus on dynamic peer state and on rapidly evolving knowledge leads to new perfor- mance challenges, prompting us to introduce new evaluation techniques. A key component of our approach is a novel kind of a provenance graph that allows for performance optimiza- tions in this dynamic context. We describe the provenance graph and its use for performance optimizations, and outline experiments that we are conducting.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Émilien Antoine Connect in order to contact the contributor
Submitted on : Thursday, April 4, 2013 - 1:59:25 PM
Last modification on : Saturday, November 19, 2022 - 3:58:48 AM
Long-term archiving on: : Friday, July 5, 2013 - 2:45:09 AM


Files produced by the author(s)


  • HAL Id : hal-00805797, version 1


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. ⟨hal-00805797⟩



Record views


Files downloads