Normal view MARC view ISBD view

Quintarelli, Elisa.

Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data / [electronic resource] : by Elisa Quintarelli. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. - XVII, 135 p. online resource. - Lecture Notes in Computer Science, 2917 0302-9743 ; . - Lecture Notes in Computer Science, 2917 .

1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.

ISBN: 9783540246039

Standard No.: 10.1007/b94902 doi

Subjects--Topical Terms:
Computer science.
Database management.
Information storage and retrieval systems.
Information systems.
Management information systems.
Computer Science.
Database Management.
Information Storage and Retrieval.
Information Systems Applications (incl.Internet).
Business Information Systems.

LC Class. No.: QA76.9.D3

Dewey Class. No.: 005.74