Atjaunināt sīkdatņu piekrišanu

Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings 2012 ed. [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 191 pages, height x width: 235x155 mm, weight: 454 g, 20 Illustrations, black and white; XIV, 191 p. 20 illus., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 7494
  • Izdošanas datums: 30-Jul-2012
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642329241
  • ISBN-13: 9783642329241
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 43,35 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 51,00 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings 2012 ed.Palielināt
  • Formāts: Paperback / softback, 191 pages, height x width: 235x155 mm, weight: 454 g, 20 Illustrations, black and white; XIV, 191 p. 20 illus., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 7494
  • Izdošanas datums: 30-Jul-2012
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642329241
  • ISBN-13: 9783642329241
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783642329241.html
Keywords:
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.