Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data /
Quintarelli, Elisa.
Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data / [electronic resource] : by Elisa Quintarelli. - 1st ed. 2004. - XVII, 135 p. online resource. - Lecture Notes in Computer Science, 2917 1611-3349 ; . - 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.
9783540246039
10.1007/b94902 doi
Data structures (Computer science).
Information theory.
Database management.
Information storage and retrieval systems.
Application software.
Business information services.
Data Structures and Information Theory.
Database Management.
Information Storage and Retrieval.
Computer and Information Systems Applications.
IT in Business.
QA76.9.D35 Q350-390
005.73 003.54
Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data / [electronic resource] : by Elisa Quintarelli. - 1st ed. 2004. - XVII, 135 p. online resource. - Lecture Notes in Computer Science, 2917 1611-3349 ; . - 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.
9783540246039
10.1007/b94902 doi
Data structures (Computer science).
Information theory.
Database management.
Information storage and retrieval systems.
Application software.
Business information services.
Data Structures and Information Theory.
Database Management.
Information Storage and Retrieval.
Computer and Information Systems Applications.
IT in Business.
QA76.9.D35 Q350-390
005.73 003.54