Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data /
Material type: TextSeries: Lecture Notes in Computer Science ; 2917Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Edition: 1st ed. 2004Description: XVII, 135 p. online resourceContent type:- text
- computer
- online resource
- 9783540246039
- Data structures (Computer science)
- Information theory
- Database management
- Information storage and retrieval systems
- Application software
- Business information services
- Data Structures and Information Theory
- Database Management
- Information Storage and Retrieval
- Computer and Information Systems Applications
- IT in Business
- 005.73 23
- 003.54 23
- QA76.9.D35
- Q350-390
Contents:
In:
Springer Nature eBook
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
No physical items for this record
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
There are no comments on this title.