Limit search to available items
Book Cover
E-book
Author Datalog (Workshop) (2nd : 2012 : Vienna, Austria)

Title Datalog in academia and industry : second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings / Pablo Barceló, Reinhard Pichler (eds.)
Published Berlin ; New York : Springer, [2012]
©2012
Online access available from:
Springer eBooks    View Resource Record  

Copies

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.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Barceló, Pablo.
Pichler, Reinhard.
LC no. 2012944718
ISBN 9783642329258 (electronic bk.)
364232925X (electronic bk.)
3642329241
9783642329241
Other Titles Datalog 2.0 2012