Distributed Datalog Revisited

Serge Abiteboul (1) , Meghyn Bienvenu (2, 3) , Alban Galland (1) , Marie-Christine Rousset (4)

1 DAHU - Verification in databases
2 LRI - Laboratoire de Recherche en Informatique
3 LEO - Distributed and heterogeneous data and knowledge
4 LIG - Laboratoire d'Informatique de Grenoble

The emergence of Web 2.0 and social network applications has enabled more and more users to share sensitive information over the Web. The information they manipulate has many facets: personal data (e.g., pictures, movies, music, contacts, emails), social data (e.g., annotations, recommendations, contacts), localization information (e.g., bookmarks), access information (e.g., login, keys), web services (e.g., legacy data, search engines), access rights, ontologies, beliefs, time and provenance information, etc. The tasks they perform are very diverse: search, query, update, authentication, data extraction, etc. We believe that all this should be viewed in the holistic context of the management of a distributed knowledge base. Furthermore, we believe that datalog (and its extensions) forms the sound formal basis for representing such information and supporting these tasks. In this paper, we revisit datalog with this goal in mind.

Domains: Databases [cs.DB]

Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset. Distributed Datalog Revisited. Datalog 2.0 Workshop, Mar 2010, Oxford, United Kingdom. ⟨inria-00540814v2⟩