Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.

This book is devoted to the study of the semantics and assuring the efficient execution of database query languages, where the database contains semistructured and time-varying information. The primary focus of the work presented is the definition of an effective graph-based approach to the formaliz...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Quintarelli, Elisa
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2004.
Series:	Lecture notes in computer science ; 2917.
Subjects:	Query languages (Computer science) Information storage and retrieval systems.