Cantitate/Preț
Produs

Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings: Lecture Notes in Computer Science, cartea 7494

Editat de Pablo Barceló, Reinhard Pichler
en Limba Engleză Paperback – 30 iul 2012
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 28393 lei

Preț vechi: 35491 lei
-20% Nou

Puncte Express: 426

Preț estimativ în valută:
5435 5844$ 4531£

Carte tipărită la comandă

Livrare economică 19 decembrie 24 - 02 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642329241
ISBN-10: 3642329241
Pagini: 208
Ilustrații: XIV, 191 p. 20 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.3 kg
Ediția:2012
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Information Systems and Applications, incl. Internet/Web, and HCI

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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¨ıve 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¨ıve Datalog Evaluation in Hadoop.- Logical Foundations of Continuous Query Languages for Data Streams.

Textul de pe ultima copertă

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.

Caracteristici

Fast track conference proceedings Unique visibility State of the art reseach