Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data

Elisa Quintarelli (auth.)3540209719, 9783540209713, 9783540246039

From the reviews of the first edition:

“The volume contains the results of the research covered by the Ph.D. dissertation of Elisa Quintarelli at the Politecnico di Milano. Two specific problems in the area of representation of semistructured data and queries are addressed … . The thesis presents research containing novel contributions and an in-depth expertise on several topics. It represents a valuable source of information.” (Antonín Ríha, Zentralblatt MATH, Vol. 1069, 2005)

Table of contents :
Front Matter….Pages –
1. Introduction….Pages 1-8
2. Semantics Based on Bisimulation….Pages 9-50
3. Model-Checking Based Data Retrieval….Pages 51-82
4. Temporal Aspects of Semistructured Data….Pages 83-118
5. Related Works….Pages 119-126
6. Conclusion….Pages 127-128
Back Matter….Pages –