Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data / by Elisa Quintarelli.
Material type: TextSeries: Lecture Notes in Computer Science ; 2917Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Description: XVII, 135 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540246039Subject(s): 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 SystemsAdditional physical formats: Printed edition:: No titleDDC classification: 005.74 LOC classification: QA76.9.D3Online resources: Click here to access online
Contents:
In:
Springer eBooks
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK3060 |
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
There are no comments on this title.