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.
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-Na¨ive 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-Na¨ive Datalog Evaluation in Hadoop.- Logical Foundations of Continuous Query Languages for Data Streams.
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-Na¨ive 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-Na¨ive Datalog Evaluation in Hadoop.- Logical Foundations of Continuous Query Languages for Data Streams.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
