Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data / by Elisa Quintarelli.
Materialtyp:
TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Utgåva: 1st ed. 2004Beskrivning: XVII, 135 p. online resourceInnehållstyp: - text
- computer
- online resource
- 9783540246039
- Data Structures and Information Theory
- Database Management
- Information Storage and Retrieval
- Computer and Information Systems Applications
- IT in Business
- Data structures (Computer science)
- Information theory
- Database management
- Information storage and retrieval systems
- Application software
- Business information services
- 005.73 23
- 003.54 23
Innehåll:
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
Inga fysiska exemplar för denna post
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
Old Kluwer collection
Licensed e-book