Ebook: Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

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.

---

Paraconsistent Modular Answer Set Programming.- A Retrospective on Datalog 1.0.- LogicBlox, Platform and Language: A Tutorial.- Datalog: A Perspective and the Potential.- Existential Rules: A Graph-Based View.- How (Well) Do Datalog, SPARQL and RIF Interplay?.- Magic-Sets for Datalog with Existential Quantifiers.- On the CRON Conjecture.- Order in Datalog with Applications to Declarative Output.- A Broad Class of First-Order Rewritable Tuple-Generating Dependencies.- Datalog Development Tools.- Query Rewriting Using Datalog for Duplicate Resolution.- Reasoning about Knowledge in Distributed Systems Using Datalog.- Declarative Datalog Debugging for Mere Mortals.- Inconsistency-Tolerant Query Rewriting for Linear Datalog+/- .- Confluence Analysis for Distributed Programs: A Model-Theoretic Approach.- Business Network Reconstruction Using Datalog.- Data Exchange in Datalog Is Mainly a Matter of Choice.- Optimizing Large-Scale Semi-Naive Datalog Evaluation in Hadoop.- Logical Foundations of Continuous Query Languages for Data Streams. A Retrospective on Datalog 1.0.- LogicBlox, Platform and Language: A Tutorial.- Datalog: A Perspective and the Potential.- Existential Rules: A Graph-Based View.- How (Well) Do Datalog, SPARQL and RIF Interplay?.- Magic-Sets for Datalog with Existential Quantifiers.- On the CRON Conjecture.- Order in Datalog with Applications to Declarative Output.- A Broad Class of First-Order Rewritable Tuple-Generating Dependencies.- Datalog Development Tools.- Query Rewriting Using Datalog for Duplicate Resolution.- Reasoning about Knowledge in Distributed Systems Using Datalog.- Declarative Datalog Debugging for Mere Mortals.- Inconsistency-Tolerant Query Rewriting for Linear Datalog+/- .- Confluence Analysis for Distributed Programs: A Model-Theoretic Approach.- Business Network Reconstruction Using Datalog.- Data Exchange in Datalog Is Mainly a Matter of Choice.- Optimizing Large-Scale Semi-Naive Datalog Evaluation in Hadoop.- Logical Foundations of Continuous Query Languages for Data Streams