Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Model-Checking Based Data Retrieval

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

An Application to Semistructured and Temporal Data

E. Quintarelli

Language

English

Book Paperback

Libristo code: 01559037

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2004

This book is devoted to the study of the semantics and assuring the efficient execution of database... Full description

Libristo code: 01559037

136 b

19 972 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

3 720 Ft

Bin Öpücük Tillie Cole

Paperback

5 853 Ft

COUNTRY GARDENS -PARTITION+PARTIES SEPAREES PERCY ALDRIDGE GRAIN Printed items

Sheet music

3 149 Ft

Guide VERON des Champagnes 2019 - Version anglaise VERON

Paperback

13 103 Ft

The Rising of the Shield Hero - Artbook

Paperback

4 443 Ft

CIEN AÑOS COLEGIO APOSTOLICO JAVIER

Paperback

13 650 Ft

áArras Feria

Paperback

2 839 Ft

Con Papa / With Papa Aldama Frederick Luis Aldama

Adobe ePub DRM

4 281 Ft

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

Paperback

4 518 Ft

Herzschuss Michael Schwarzmaier

Digital

3 353 Ft

Cerkwie i ikony Łemkowszczyzny Giemza Jarosław

Hardback

19 429 Ft

Les Contes merveilleux normands. Catalogue analytique Patrice Lajoye

Paperback

8 029 Ft

Ibisin Rüyasi Tarik Bugra

Paperback

5 088 Ft

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.