Model-Checking Based Data Retrieval von Elisa Quintarelli | An Application to Semistructured and Temporal Data | ISBN 9783540209713

Model-Checking Based Data Retrieval

An Application to Semistructured and Temporal Data

von Elisa Quintarelli
Buchcover Model-Checking Based Data Retrieval | Elisa Quintarelli | EAN 9783540209713 | ISBN 3-540-20971-9 | ISBN 978-3-540-20971-3

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)

Model-Checking Based Data Retrieval

An Application to Semistructured and Temporal Data

von Elisa Quintarelli
Includes supplementary material: sn. pub/extras