Skip to main content
  • Book
  • © 2004

Model-Checking Based Data Retrieval

An Application to Semistructured and Temporal Data

Authors:

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

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (6 chapters)

  1. Front Matter

  2. 1. Introduction

    • Elisa Quintarelli
    Pages 1-8
  3. 2. Semantics Based on Bisimulation

    • Elisa Quintarelli
    Pages 9-50
  4. 3. Model-Checking Based Data Retrieval

    • Elisa Quintarelli
    Pages 51-82
  5. 4. Temporal Aspects of Semistructured Data

    • Elisa Quintarelli
    Pages 83-118
  6. 5. Related Works

    • Elisa Quintarelli
    Pages 119-126
  7. 6. Conclusion

    • Elisa Quintarelli
    Pages 127-128
  8. Back Matter

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

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

  • Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy

    Elisa Quintarelli

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions