Kniha Model-Checking Based Data Retrieval E. Quintarelli

Model-Checking Based Data Retrieval

An Application to Semistructured and Temporal Data

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.08
This book is devoted to the study of the semantics and assuring the efficient execution of database...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2004
Stránok
135
EAN
9783540209713
ISBN
3540209719
Enbook ID
01559037
Hmotnosť
510
Rozmery
155 x 233 x 9

Kompletný popis

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.

Mohlo by vás zaujímať

Lines of Thought

Claudia Brodsky Lacour
25.38
16.16
11.95
8.62

Isabel Likes Yoga

Paige Peterson
17.83

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Bin Öpücük

Tillie Cole
14.69
8.52

áArras

Feria
7.73

Con Papa / With Papa

Aldama Frederick Luis Aldama
11.65

Herzschuss

Michael Schwarzmaier
8.32
52.92

Ibisin Rüyasi

Tarik Bugra
12.73