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

• Κύριος συγγραφέας: Quintarelli, Elisa (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2917
• Θέματα: 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.

Πίνακας περιεχομένων:

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