Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Model-Checking Based Data Retrieval

Name: Model-Checking Based Data Retrieval
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559037
Price: 51.75 EUR
Availability: InStock
Author: E. Quintarelli
ISBN: 9783540209713

An Application to Semistructured and Temporal Data

E. Quintarelli

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01559037

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, február 2004

This book is devoted to the study of the semantics and assuring the efficient execution of database... Celý popis

Libristo kód: 01559037

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Caracterización del Fracaso socialista En el siglo XXI: Ciudad Educadora de Campanella. Luis Carlos Ospina R

Brožovaná

9.21 €

Bin Öpücük Tillie Cole

Brožovaná

15.18 €

COUNTRY GARDENS -PARTITION+PARTIES SEPAREES PERCY ALDRIDGE GRAIN Tlačovina

Noty

8.80 €

Guide VERON des Champagnes 2019 - Version anglaise VERON

Brožovaná

36.86 €

The Rising of the Shield Hero - Artbook

Brožovaná

12.45 €

CIEN AÑOS COLEGIO APOSTOLICO JAVIER

Brožovaná

38.38 €

áArras Feria

Brožovaná

7.99 €

Con Papa / With Papa Aldama Frederick Luis Aldama

Adobe ePub DRM

12.04 €

Ти можеш літати? - Can You Fly? Yuliia Zolotova

Brožovaná

11.23 €

Herzschuss Michael Schwarzmaier

Digital

8.60 €

Cerkwie i ikony Łemkowszczyzny Giemza Jarosław

Pevná

54.68 €

Les Contes merveilleux normands. Catalogue analytique Patrice Lajoye

Brožovaná

19.94 €

Ibisin Rüyasi Tarik Bugra

Brožovaná

13.16 €

This book is devoted to the study of the semantics and assuring the efficient execution of database query languages, where the database contains semistructured and time-varying information.The primary focus of the work presented is the definition of an effective graph-based approach to the formalization of query languages for semistructured and temporal information; as a result, query execution can be reduced to searching the database for subgraphs that are similar to the given query graph and thus can be supported through bisimualtion. By integrating and refining graph-based methods and bisimulation, the author develops a powerful and flexible paradigm. The second research challenge solved is that of efficient implementation by modeling graphical queries as formulas in modal logic and interpreting database instance graphs as Kripke transition systems.