Model-Checking Based Data Retrieval [[electronic resource] ] : An Application to Semistructured and Temporal Data / / by Elisa Quintarelli |
Autore | Quintarelli Elisa |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XVII, 135 p.) |
Disciplina | 025.04 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Information technology Business—Data processing Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) IT in Business |
ISBN |
1-280-30686-6
9786610306862 3-540-24603-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion. |
Record Nr. | UNISA-996465902503316 |
Quintarelli Elisa | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model-Checking Based Data Retrieval : An Application to Semistructured and Temporal Data / / by Elisa Quintarelli |
Autore | Quintarelli Elisa |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XVII, 135 p.) |
Disciplina | 025.04 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Information technology Business—Data processing Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) IT in Business |
ISBN |
1-280-30686-6
9786610306862 3-540-24603-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion. |
Record Nr. | UNINA-9910144209503321 |
Quintarelli Elisa | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|