Model-Checking Based Data Retrieval
An Application to Semistructured and Temporal Data
| Autor: | Quintarelli, Elisa |
|---|---|
| ISBN: | 9783540209713 |
| Sprache: | Englisch |
| Seitenzahl: | 135 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 06.02.2004 |
| Untertitel: | An Application to Semistructured and Temporal Data |
| Schlagworte: | database data base queries database retrieval data retrieval graph-based query languages graph-based representation information retrieval model-checking based data retrieval model checking modeling |
Anmelden