Datalog in Academia and Industry

1. Front Matter

   PDF

2. Invited Presentations

   1. LogicBlox, Platform and Language: A Tutorial

      • Todd J. Green, Molham Aref, Grigoris Karvounarakis

      Pages 1-8

   2. Datalog: A Perspective and the Potential

      • Yuri Gurevich

      Pages 9-20

   3. Existential Rules: A Graph-Based View

      • Marie-Laure Mugnier

      Pages 21-26

   4. How (Well) Do Datalog, SPARQL and RIF Interplay?

      • Axel Polleres

      Pages 27-30

3. Regular Papers, System Descriptions and Tutorials

   1. Magic-Sets for Datalog with Existential Quantifiers

      • Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri

      Pages 31-43

   2. On the CRON Conjecture

      • Tom J. Ameloot, Jan Van den Bussche

      Pages 44-55

   3. Order in Datalog with Applications to Declarative Output

      • Stefan Brass

      Pages 56-67

   4. A Broad Class of First-Order Rewritable Tuple-Generating Dependencies

      • Cristina Civili, Riccardo Rosati

      Pages 68-80

   5. Datalog Development Tools

      • Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca

      Pages 81-85

   6. Query Rewriting Using Datalog for Duplicate Resolution

      • Jaffer Gardezi, Leopoldo Bertossi

      Pages 86-98

   7. Reasoning about Knowledge in Distributed Systems Using Datalog

      • Matteo Interlandi

      Pages 99-110

   8. Declarative Datalog Debugging for Mere Mortals

      • Sven Köhler, Bertram Ludäscher, Yannis Smaragdakis

      Pages 111-122

   9. Inconsistency-Tolerant Query Rewriting for Linear Datalog+/–

      • Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari

      Pages 123-134

   10. Confluence Analysis for Distributed Programs: A Model-Theoretic Approach

       • William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier

       Pages 135-147

   11. Business Network Reconstruction Using Datalog

       • Daniel Ritter, Till Westmann

       Pages 148-152

   12. Data Exchange in Datalog Is Mainly a Matter of Choice

       • Domenico Saccà, Edoardo Serra

       Pages 153-164

   13. Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop

       • Marianne Shaw, Paraschos Koutris, Bill Howe, Dan Suciu

       Pages 165-176

   14. Logical Foundations of Continuous Query Languages for Data Streams

       • Carlo Zaniolo

       Pages 177-189

4. Back Matter

   PDF

This book constitutes the refereed proceedings of the Second International Workshop on Datalog 2.0, held in Vienna, Austria, in September 2012.
The 14 revised full papers presented together with 2 invited talks and 2 invited tutorials were carefully reviewed and selected from 17 initial submissions. Datalog 2.0 is a workshop for Datalog pioneers, implementors, and current practitioners; the contributions aim to bring every participant up-to-date with the newest developments and map out directions for the future.

• business network
• distributed systems
• frequent pattern mining
• logic programming
• temporal logic

• Department of Computer Science, Universidad de Chile, Santiago, Chile

  Pablo Barceló

• Institute of Information Systems, Vienna University of Technology, Wien, Austria

  Reinhard Pichler

Policies and ethics