Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2917)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (6 chapters)
Keywords
Reviews
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)
Authors and Affiliations
Bibliographic Information
Book Title: Model-Checking Based Data Retrieval
Book Subtitle: An Application to Semistructured and Temporal Data
Authors: Elisa Quintarelli
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b94902
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-20971-3Published: 06 February 2004
eBook ISBN: 978-3-540-24603-9Published: 12 February 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 135
Topics: Data Structures and Information Theory, Database Management, Information Storage and Retrieval, Information Systems Applications (incl. Internet), IT in Business