Model-Checking Based Data Retrieval

An Application to Semistructured and Temporal Data

  • Elisa¬†Quintarelli

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2917)

Table of contents

  1. Front Matter
  2. Elisa Quintarelli
    Pages 1-8
  3. Elisa Quintarelli
    Pages 9-50
  4. Elisa Quintarelli
    Pages 51-82
  5. Elisa Quintarelli
    Pages 83-118
  6. Elisa Quintarelli
    Pages 119-126
  7. Elisa Quintarelli
    Pages 127-128
  8. Back Matter

About this book

Keywords

data base queries data retrieval database database retrieval graph-based query languages graph-based representation information retrieval model checking model-checking based data retrieval modeling semistructured data retrieval web data retrieval

Authors and affiliations

  • Elisa¬†Quintarelli
    • 1
  1. 1.Dipartimento di Elettronica e InformazionePolitecnico di MilanoMilanoItaly

Bibliographic information

  • DOI https://doi.org/10.1007/b94902
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20971-3
  • Online ISBN 978-3-540-24603-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book