Coverart for item
The Resource Model-checking based data retrieval : an application to semistructured and temporal data, Elisa Quintarelli

Model-checking based data retrieval : an application to semistructured and temporal data, Elisa Quintarelli

Label
Model-checking based data retrieval : an application to semistructured and temporal data
Title
Model-checking based data retrieval
Title remainder
an application to semistructured and temporal data
Statement of responsibility
Elisa Quintarelli
Creator
Subject
Language
eng
Summary
This book is devoted to the study of the semantics and assuring the efficient execution of database query languages, where the database contains semistructured and time-varying information. The primary focus of the work presented is the definition of an effective graph-based approach to the formalization of query languages for semistructured and temporal information; as a result, query execution can be reduced to searching the database for subgraphs that are similar to the given query graph and thus can be supported through bisimualtion. By integrating and refining graph-based methods and bisimulation, the author develops a powerful and flexible paradigm. The second research challenge solved is that of efficient implementation by modeling graphical queries as formulas in modal logic and interpreting database instance graphs as Kripke transition systems
Member of
Cataloging source
COO
http://library.link/vocab/creatorName
Quintarelli, Elisa
Dewey number
025.04
Illustrations
illustrations
Index
no index present
LC call number
QA76.7
LC item number
.Q49 2004
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Lecture notes in computer science,
Series volume
2917
http://library.link/vocab/subjectName
  • Query languages (Computer science)
  • Information storage and retrieval systems
  • COMPUTERS
  • COMPUTERS
  • Information storage and retrieval systems
  • Query languages (Computer science)
  • Transitionssystem
  • Model Checking
  • Temporale Logik
  • Graphentheorie
  • Zeitliches Datenbanksystem
  • Semistrukturierte Daten
  • Datenbanksystem
  • Information Retrieval
  • Abfragesprache
  • Model-checking (Informatique)
  • Système d'information
  • Langage d'interrogation
Label
Model-checking based data retrieval : an application to semistructured and temporal data, Elisa Quintarelli
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 129-134)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion
Control code
54536006
Dimensions
unknown
Extent
1 online resource (xvi, 134 pages)
Form of item
online
Isbn
9783540246039
Lccn
2004042929
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b94902
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)54536006
Label
Model-checking based data retrieval : an application to semistructured and temporal data, Elisa Quintarelli
Publication
Bibliography note
Includes bibliographical references (pages 129-134)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion
Control code
54536006
Dimensions
unknown
Extent
1 online resource (xvi, 134 pages)
Form of item
online
Isbn
9783540246039
Lccn
2004042929
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b94902
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)54536006

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...