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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Model-Checking Based Data Retrieval

Name: Model-Checking Based Data Retrieval
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559037
Price: 51.59 EUR
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

125 b

51.59 €

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

9.68 €

Bin Öpücük Tillie Cole

Paperback

15.14 €

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

Sheet music

8.77 €

Guide VERON des Champagnes 2019 - Version anglaise VERON

Paperback

36.74 €

The Rising of the Shield Hero - Artbook

Paperback

12.41 €

CIEN AÑOS COLEGIO APOSTOLICO JAVIER

Paperback

38.26 €

áArras Feria

Paperback

7.97 €

Con Papa / With Papa Aldama Frederick Luis Aldama

Adobe ePub DRM

12.01 €

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

Paperback

11.70 €

Herzschuss Michael Schwarzmaier

Digital

8.57 €

Cerkwie i ikony Łemkowszczyzny Giemza Jarosław

Hardback

54.51 €

Les Contes merveilleux normands. Catalogue analytique Patrice Lajoye

Paperback

20.89 €

Ibisin Rüyasi Tarik Bugra

Paperback

13.12 €

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.