Carte Model-Checking Based Data Retrieval E. Quintarelli

Model-Checking Based Data Retrieval

An Application to Semistructured and Temporal Data

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.36 lei
This book is devoted to the study of the semantics and assuring the efficient execution of database...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2004
Pagini
135
EAN
9783540209713
ISBN
3540209719
Enbook ID
01559037
Greutate
510
Dimensiuni
155 x 233 x 9

Descriere completă

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.

S-ar putea să te intereseze

Lines of Thought

Claudia Brodsky Lacour
145.58 lei
93.19 lei
69.61 lei
45.13 lei

Isabel Likes Yoga

Paige Peterson
102.56 lei

Clienții care au cumpărat această carte au mai cumpărat și

Bin Öpücük

Tillie Cole
81.00 lei
44.93 lei

áArras

Feria
40.49 lei

Con Papa / With Papa

Aldama Frederick Luis Aldama
61.05 lei

Herzschuss

Michael Schwarzmaier
46.34 lei
277.17 lei

Ibisin Rüyasi

Tarik Bugra
70.52 lei