Kniha Model-Checking Based Data Retrieval E. Quintarelli

Model-Checking Based Data Retrieval

An Application to Semistructured and Temporal Data

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book is devoted to the study of the semantics and assuring the efficient execution of database...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2004
Stránek
135
EAN
9783540209713
ISBN
3540209719
Enbook ID
01559037
Hmotnost
510
Rozměry
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 zajímat

Lines of Thought

Claudia Brodsky Lacour
616
371
290
209

Isabel Likes Yoga

Paige Peterson
433

Zákaznicí kteří koupili tuto knihu koupili také

Bin Öpücük

Tillie Cole
338

áArras

Feria
187

Con Papa / With Papa

Aldama Frederick Luis Aldama
282

Herzschuss

Michael Schwarzmaier
189
1 281

Ibisin Rüyasi

Tarik Bugra
294