Muutke küpsiste eelistusi

Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings 2012 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 191 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 20 Illustrations, black and white; XIV, 191 p. 20 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 7494
  • Ilmumisaeg: 30-Jul-2012
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642329241
  • ISBN-13: 9783642329241
Teised raamatud teemal:
  • Pehme köide
  • Hind: 45,00 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 52,94 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings 2012 ed.Suurem pilt
  • Formaat: Paperback / softback, 191 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 20 Illustrations, black and white; XIV, 191 p. 20 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 7494
  • Ilmumisaeg: 30-Jul-2012
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642329241
  • ISBN-13: 9783642329241
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783642329241.html
Märksõnad:
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¨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.