Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2011

Datalog Reloaded

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

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)

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

Conference proceedings info: Datalog 2.0 2010.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (22 papers)

  1. Front Matter

    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

  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

    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

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation