Książka Model-Checking Based Data Retrieval E. Quintarelli

Model-Checking Based Data Retrieval

An Application to Semistructured and Temporal Data

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.46
This book is devoted to the study of the semantics and assuring the efficient execution of database...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2004
strony
135
EAN
9783540209713
ISBN
3540209719
Enbook ID
01559037
Waga
510
Wymiary
155 x 233 x 9

Pełny opis

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.

Możesz być zainteresowany

Lines of Thought

Claudia Brodsky Lacour
112.85
71.85
53.74
36.51

Isabel Likes Yoga

Paige Peterson
79.54

Klienci, którzy kupili tę książkę, kupili również

Bin Öpücük

Tillie Cole
62.41
36.41

áArras

Feria
32.81

Con Papa / With Papa

Aldama Frederick Luis Aldama
49.46

Herzschuss

Michael Schwarzmaier
35.34
188.99

Ibisin Rüyasi

Tarik Bugra
54.23