Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data
Category: Study
<< Buy This Book on Amazon >>
135 views since 2008-12-05.
Description
Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data
Springer | ISBN: 3540209719 | 2004-03-19 |PDF | 134 pages | 8 Mb
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.
Download this book from Usenet
Free register and download UseNext downloader, then you can free download ebooks from UseNet.Free Download "Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data" from Usenet!
Buy this book from amazon
Disclaimer:
Contents of this page are indexed from this page for search purpose only. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.
Search More...
Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal DataLinks
Free Trade Magazine Subscriptions & Technical Document DownloadsSearch and Buy
<< Search and Buy This Book on Amazon >>
Download this book from Usenet
How to download:Free register to download UseNext downloader and install, then search book title and start downloading. UseNext is clean and can be unstalled totally. Enjoy!
Free Download "Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data" from Usenet!
Download Link 2
No download links here
Please check the description for download links if any or do a search to find alternative books.Can't Download?
Please search mirrors if you can't find download links for "Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data" in "Description" and someone else may update the links. Check the comments when back to find any updates.
Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.
Related Books
Books related to "Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data":
- Ebooks list page : 1942
- Temporal Data & the Relational Model
- [share_ebook] Temporal Data & the Relational Model
- Perception-Based Data Processing in Acoustics: Applications to Music Information Retrieval and Psych
- Perception-Based Data Processing in Acoustics: Applications to Music Information Retrieval and Psychophysiology of Hearing
- Perception-Based Data Processing in Acoustics: Applications to Music Information Retrieval and Psychophysiology of Hearing
- Model-Based Software and Data Integration
- Perception-Based Data Processing in Acoustics: Applications to Music Information Retrieval and Psychophysiology of Hearing (Studies in Computational Intelligence)
- [request_ebook] Advanced Data Warehouse Design From Conventional to Spatial and Temporal Applications
- The Data Model Resource Book, Vol. 1: A Library of Universal Data Models for All Enterprises
- Data Model Patterns: A Metadata Map (The Morgan Kaufmann Series in Data Management Systems)
- [share_ebook] The Data Model Resource Book, Vol. 1: A Library of Universal Data Models for All Enterprises
- InP DHBT-based Clock and Data Recovery Circuits for Ultra-High-Speed Optical Data Links By Robert E. Makon
- Exploratory Analysis of Spatial and Temporal Data
- Exploratory Analysis of Spatial and Temporal Data
- Exploratory.Analysis.of.Spatial.and.Temporal.Data.A.Systematic.Approach
Comments
No comments for "Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data".
Add Your Comments
- Download links and password may be in the description section, read description carefully!
- Do a search to find mirrors if no download links or dead links.
More Categories
- Arts & Design
- Audiobooks
- Cultures & Languages
- Home & Family
- Law & Politics
- Lyrics & Music
- Software Related
- eBook Torrents
- Uncategorized
- Reviews
- Share Your Ebooks
- EBOOKEE Book Store
We Recommend
- Free Magazines Downloads/Subscription
- 5000+ Free eBooks
- Download Thousands of Books two weeks for FREE!
- Download millions of Usenet resources!
- Free Software Download Search Engine
