Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data /

• Main Author: Quintarelli, Elisa (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2917
• Subjects: Computer science.; Information technology.; Business > Data processing.; 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.

Table of Contents:

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