Muutke küpsiste eelistusi

E-raamat: Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings

Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 7494
  • Ilmumisaeg: 27-Aug-2012
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642329258
  • Formaat - PDF+DRM
  • Hind: 49,39 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 7494
  • Ilmumisaeg: 27-Aug-2012
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642329258

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.