Skip to main content
  • Conference proceedings
  • © 2011

Datalog Reloaded

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

  • 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)

Conference series link(s): Datalog 2.0: International Datalog 2.0 Workshop

Conference proceedings info: Datalog 2.0 2010.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-24206-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (22 papers)

  1. Front Matter

  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
  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. Dyna: Extending Datalog for Modern AI

      • Jason Eisner, Nathaniel W. Filardo
      Pages 181-220
    4. Datalog for the Web 2.0: The Case of Social Network Data Management

      • Matteo Magnani, Danilo Montesi
      Pages 221-224
    5. Context Modelling and Context-Aware Querying

      • Giorgio Orsi, Letizia Tanca
      Pages 225-244
    6. 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

Other Volumes

  1. Datalog Reloaded

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

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.

Keywords

  • answer set programming
  • distributed systems
  • logic programming
  • query language
  • semantic Web

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

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-24206-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)