Skip to main content
Springer Nature Link
Log in

Datalog Reloaded

First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Oege Moor

    1. Department of Computer Science, Oxford University, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Georg Gottlob

    1. Department of Computer Science, University of Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tim Furche

    1. Department of Computer Science, University of Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Andrew Sellers

    1. Department of Computer Science, University of Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6702)

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: Datalog 2.0 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvements from numerous submissions. The papers showcase the state-of-the-art in theory and systems for datalog, divided in three sections: Properties, applications, and extensions of datalog.

Similar content being viewed by others

Keywords

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Section 1: Theoretical Aspects of Datalog

    1. Datalog-Based Program Analysis with BES and RWL

      • María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva
      Pages 1-20

    2. Datalog for Security, Privacy and Trust

      • Piero A. Bonatti
      Pages 21-36

    3. Answer Set Modules for Logical Agents

      • Stefania Costantini
      Pages 37-58

    4. First-Order Encodings for Modular Nonmonotonic Datalog Programs

      • Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
      Pages 59-77

    5. Datalog Programs and Their Stable Models

      • Vladimir Lifschitz
      Pages 78-87

    6. Exploiting Bounded Treewidth with Datalog (A Survey)

      • Reinhard Pichler
      Pages 88-105

    7. Equivalence between Extended Datalog Programs — A Brief Survey

      • Stefan Woltran
      Pages 106-119

  3. Section 2: Applications of Datalog

    1. Cluster Computing, Recursion and Datalog

      • Foto N. Afrati, Vinayak Borkar, Michael Carey, Neoklis Polyzotis, Jeffrey D. Ullman
      Pages 120-144

    2. Datalog-Related Aspects in Lixto Visual Developer

      • Robert Baumgartner
      Pages 145-160

    3. Informing Datalog through Language Intelligence – A Personal Perspective

      • Veronica Dahl
      Pages 161-180

    4. Dyna: Extending Datalog for Modern AI

      • Jason Eisner, Nathaniel W. Filardo
      Pages 181-220

    5. Datalog for the Web 2.0: The Case of Social Network Data Management

      • Matteo Magnani, Danilo Montesi
      Pages 221-224

    6. Context Modelling and Context-Aware Querying

      • Giorgio Orsi, Letizia Tanca
      Pages 225-244

    7. Using Datalog for Fast and Easy Program Analysis

      • Yannis Smaragdakis, Martin Bravenboer
      Pages 245-251

  4. Section 3: New Languages Extending Datalog

    1. Distributed Datalog Revisited

      • Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset
      Pages 252-261

    2. Dedalus: Datalog in Time and Space

      • Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, Russell Sears
      Pages 262-281

    3. The Disjunctive Datalog System DLV

      • Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina
      Pages 282-301

    4. Datalog as a Query Language for Data Exchange Systems

      • Marcelo Arenas, Pablo Barceló, Juan Reutter
      Pages 302-320

    5. Datalog Relaunched: Simulation Unification and Value Invention

      • François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert
      Pages 321-350
Back to top

Other volumes

  1. Datalog Reloaded

Editors and Affiliations

  • Department of Computer Science, Oxford University, Oxford, UK

    Oege Moor

  • Department of Computer Science, University of Oxford, UK

    Georg Gottlob, Tim Furche, Andrew Sellers

Bibliographic Information

Publish with us

Policies and ethics

Back to top