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: | Quintarelli, Elisa. author., SpringerLink (Online service) |
---|---|
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!
|
Similar Items
-
Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data /
by: Quintarelli, Elisa. author., et al.
Published: (2004) -
New Horizons in Information Management [electronic resource] : 20th British National Conference on Databases, BNCOD 20 Coventry, UK, July 15–17, 2003 Proceedings /
by: James, Anne. editor., et al.
Published: (2003) -
New Horizons in Information Management [electronic resource] : 20th British National Conference on Databases, BNCOD 20 Coventry, UK, July 15–17, 2003 Proceedings /
by: James, Anne. editor., et al.
Published: (2003) -
Applications of Databases [electronic resource] : First International Conference, ADB-94 Vadstena, Sweden, June 21–23, 1994 Proceedings /
by: Litwin, Witold. editor., et al.
Published: (1994) -
Applications of Databases [electronic resource] : First International Conference, ADB-94 Vadstena, Sweden, June 21–23, 1994 Proceedings /
by: Litwin, Witold. editor., et al.
Published: (1994)