Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers (Lecture Notes in Computer Science, 6702)

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. Front Matter....Pages - Datalog-Based Program Analysis with BES and RWL....Pages 1-20 Datalog for Security, Privacy and Trust....Pages 21-36 Answer Set Modules for Logical Agents....Pages 37-58 First-Order Encodings for Modular Nonmonotonic Datalog Programs....Pages 59-77 Datalog Programs and Their Stable Models....Pages 78-87 Exploiting Bounded Treewidth with Datalog (A Survey)....Pages 88-105 Equivalence between Extended Datalog Programs — A Brief Survey....Pages 106-119 Cluster Computing, Recursion and Datalog....Pages 120-144 Datalog-Related Aspects in Lixto Visual Developer....Pages 145-160 Informing Datalog through Language Intelligence – A Personal Perspective....Pages 161-180 Dyna: Extending Datalog for Modern AI....Pages 181-220 Datalog for the Web 2.0: The Case of Social Network Data Management....Pages 221-224 Context Modelling and Context-Aware Querying....Pages 225-244 Using Datalog for Fast and Easy Program Analysis....Pages 245-251 Distributed Datalog Revisited....Pages 252-261 Dedalus : Datalog in Time and Space....Pages 262-281 The Disjunctive Datalog System DLV....Pages 282-301 Datalog as a Query Language for Data Exchange Systems....Pages 302-320 Datalog Relaunched: Simulation Unification and Value Invention....Pages 321-350 Datalog+/-: A Family of Languages for Ontology Querying....Pages 351-368 Knowledge Representation Language P-Log – A Short Introduction....Pages 369-383 Living with Inconsistency and Taming Nonmonotonicity....Pages 384-398 Back Matter....Pages -