Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data /
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
Saved in:
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2004
|
Subjects: | Computer science., Information technology., Business, Data structures (Computer science)., Database management., Information storage and retrieval., Computer Science., Data Structures, Cryptology and Information Theory., Database Management., Information Storage and Retrieval., Information Systems Applications (incl. Internet)., IT in Business., |
Online Access: | http://dx.doi.org/10.1007/b94902 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!