A rule-based language for Web data management

Serge Abiteboul 1 Meghyn Bienvenu 2, 3 Alban Galland 1 Émilien Antoine 3
1 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
3 LEO - Distributed and heterogeneous data and knowledge
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : There is a new trend to use Datalog-style rule-based languages to specify modern distributed applications, notably on the Web. We introduce here such a language for a distributed data model where peers exchange messages (i.e. logical facts) as well as rules. The model is formally defined and its interest for distributed data management is illustrated through a variety of examples. A contribution of our work is a study of the impact on expressiveness of ''delegations'' (the installation of rules by a peer in some other peer) and explicit timestamps. We also validate the semantics of our model by showing that under certain natural conditions, our semantics converges to the same semantics as the centralized system with the same rules. Indeed, we show this is even true when updates are considered.
Type de document :
Communication dans un congrès
Principles of Database Systems, Jun 2011, Athens, Greece. 2011
Liste complète des métadonnées


https://hal.inria.fr/inria-00582891
Contributeur : Alban Galland <>
Soumis le : lundi 4 avril 2011 - 13:20:38
Dernière modification le : jeudi 9 février 2017 - 15:51:54
Document(s) archivé(s) le : jeudi 8 novembre 2012 - 13:15:07

Fichier

pods17a-abiteboul.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00582891, version 1

Citation

Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Émilien Antoine. A rule-based language for Web data management. Principles of Database Systems, Jun 2011, Athens, Greece. 2011. <inria-00582891>

Partager

Métriques

Consultations de
la notice

481

Téléchargements du document

664