Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7494 |
|
LNCS sublibrary. SL 3, Information systems and application, incl. Internet/Web and HCI |
|
Lecture notes in computer science ; 7494.
|
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
|
Contents |
LogicBlox, Platform and Language: A Tutorial / Todd J. Green, Molham Aref and Grigoris Karvounarakis -- Datalog: A Perspective and the Potential / Yuri Gurevich -- Existential Rules: A Graph-Based View (Extended Abstract) / Marie-Laure Mugnier -- How (Well) Do Datalog, SPARQL and RIF Interplay? / Axel Polleres -- Magic-Sets for Datalog with Existential Quantifiers / Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina and Pierfrancesco Veltri -- On the CRON Conjecture / Tom J. Ameloot and Jan Van den Bussche -- Order in Datalog with Applications to Declarative Output / Stefan Brass -- A Broad Class of First-Order Rewritable Tuple-Generating Dependencies / Cristina Civili and Riccardo Rosati -- Datalog Development Tools (Extended Abstract) / Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale and Francesco Ricca -- Query Rewriting Using Datalog for Duplicate Resolution / Jaffer Gardezi and Leopoldo Bertossi -- Reasoning about Knowledge in Distributed Systems Using Datalog / Matteo Interlandi -- Declarative Datalog Debugging for Mere Mortals / Sven Köhler, Bertram Ludäscher and Yannis Smaragdakis -- Inconsistency-Tolerant Query Rewriting for Linear Datalog+/- / Thomas Lukasiewicz, Maria Vanina Martinez and Gerardo I. Simari -- Confluence Analysis for Distributed Programs: A Model-Theoretic Approach / William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein and David Maier -- Business Network Reconstruction Using Datalog / Daniel Ritter and Till Westmann -- Data Exchange in Datalog Is Mainly a Matter of Choice / Domenico Saccà and Edoardo Serra -- Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop / Marianne Shaw, Paraschos Koutris, Bill Howe and Dan Suciu -- Logical Foundations of Continuous Query Languages for Data Streams / Carlo Zaniolo |
Summary |
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 |
Analysis |
Computer science |
|
Software engineering |
|
Data mining |
|
Artificial intelligence |
|
Information Systems Applications (incl. Internet) |
Bibliography |
Includes bibliographical references and author index |
Subject |
Data loggers -- Congresses
|
|
Deductive databases -- Congresses
|
|
Informatique.
|
|
Data loggers
|
|
Deductive databases
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Barceló, Pablo.
|
|
Pichler, Reinhard.
|
ISBN |
9783642329258 |
|
364232925X |
|
3642329241 |
|
9783642329241 |
|