Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Model-Checking Based Data Retrieval

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

An Application to Semistructured and Temporal Data

E. Quintarelli

Език

Английски език

Книга С меки корици

Код Либристо: 01559037

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2004

This book is devoted to the study of the semantics and assuring the efficient execution of database... Цялото описание

Код Либристо: 01559037

132 b

54.46 €

106.52 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

9.68 € 18.93 лв

Bin Öpücük Tillie Cole

С меки корици

15.94 € 31.18 лв

COUNTRY GARDENS -PARTITION+PARTIES SEPAREES PERCY ALDRIDGE GRAIN Печатни материали

Ноти

9.21 € 18.01 лв

Guide VERON des Champagnes 2019 - Version anglaise VERON

С меки корици

38.46 € 75.23 лв

The Rising of the Shield Hero - Artbook

С меки корици

13.09 € 25.61 лв

CIEN AÑOS COLEGIO APOSTOLICO JAVIER

С меки корици

40.07 € 78.37 лв

áArras Feria

С меки корици

8.38 € 16.39 лв

Con Papa / With Papa Aldama Frederick Luis Aldama

Adobe ePub DRM

12.68 € 24.80 лв

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

С меки корици

11.80 € 23.08 лв

Herzschuss Michael Schwarzmaier

Digital

9.16 € 17.91 лв

Cerkwie i ikony Łemkowszczyzny Giemza Jarosław

С твърди корици

57.57 € 112.59 лв

Les Contes merveilleux normands. Catalogue analytique Patrice Lajoye

С меки корици

20.96 € 41.00 лв

Ibisin Rüyasi Tarik Bugra

С меки корици

13.87 € 27.13 лв

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.