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

✍ Scribed by Elisa Quintarelli (auth.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2004
Tongue: English
Leaves: 148
Series: Lecture Notes in Computer Science 2917
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

From the reviews of the first edition:

"The volume contains the results of the research covered by the Ph.D. dissertation of Elisa Quintarelli at the Politecnico di Milano. Two specific problems in the area of representation of semistructured data and queries are addressed … . The thesis presents research containing novel contributions and an in-depth expertise on several topics. It represents a valuable source of information." (Antonín Ríha, Zentralblatt MATH, Vol. 1069, 2005)

✦ Table of Contents

Front Matter....Pages -
1. Introduction....Pages 1-8
2. Semantics Based on Bisimulation....Pages 9-50
3. Model-Checking Based Data Retrieval....Pages 51-82
4. Temporal Aspects of Semistructured Data....Pages 83-118
5. Related Works....Pages 119-126
6. Conclusion....Pages 127-128
Back Matter....Pages -

✦ Subjects

Database Management; Information Storage and Retrieval; Information Systems Applications (incl.Internet); Business Information Systems

📜 SIMILAR VOLUMES

Data on the Web. From Relational to Semi

📁 Data on the Web. From Relational to Semistructured Data and XML.: From Relations to Semistructured Data and XML

✍ Serge Abiteboul, Peter Buneman, Dan Suciu 📂 Library 📅 1999 🏛 Morgan Kaufmann 🌐 English

<p>The Web is causing a revolution in how we represent, retrieve, and process information Its growth has given us a universally accessible database-but in the form of a largely unorganized collection of documents. This is changing, thanks to the simultaneous emergence of new ways of representing dat

Perception-Based Data Processing in Acou

📁 Perception-Based Data Processing in Acoustics: Applications to Music Information Retrieval and Psychophysiology

✍ Professor Bożena Kostek (auth.) 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>The objective of the monograph is to provide novel insights into cognitive mechanisms underlying processing of sound and music in different environments. A solid understanding of these mechanisms is vital for numerous technological applications such as for example information retrieval from di

Perception-Based Data Processing in Acou

📁 Perception-Based Data Processing in Acoustics: Applications to Music Information Retrieval and Psychophysiology of Hearing

✍ Bozena Kostek 📂 Library 📅 2005 🏛 Springer 🌐 English

This monograph provides novel insights into cognitive mechanisms underlying the processing of sound and music in different environments. A solid understanding of these mechanisms is vital for numerous technological applications such as for example information retrieval from distributed musical datab

Perception-Based Data Processing in Acou

📁 Perception-Based Data Processing in Acoustics: Applications to Music Information Retrieval and Psychophysiology of Hearing

✍ Bozena Kostek 📂 Library 📅 2005 🏛 Springer Science & Business Media 🌐 English

Perception-based data processing in acou

📁 Perception-based data processing in acoustics: applications to music information retrieval and psychophysiology of hearing

✍ Bozena Kostek 📂 Library 📅 2005 🏛 Springer 🌐 English

Functions, Data and Models: An Applied A

📁 Functions, Data and Models: An Applied Approach to College Algebra

✍ Sheldon P. Gordon and Florence S. Gordon 📂 Library 📅 2010 🏛 American Mathematical Society 🌐 English

<span>This is a college algebra-level textbook written to provide the kind of mathematical knowledge and experiences that students will need for courses in other fields, such as biology, chemistry, business, finance, economics, and other areas that are heavily dependent on data either from laborator