• Model-Checking Based Data Retr...

Result: Model-Checking Based Data Retrieval: an application to semistructured and temporal data

Title:
Model-Checking Based Data Retrieval: an application to semistructured and temporal data
Authors:
E. Quintarelli
Contributors:
Quintarelli, E.
Publisher Information:
SPRINGER
Publication Year:
2004
Collection:
Università degli Studi di Verona: Catalogo dei Prodotti della Ricerca (IRIS)
Subject Terms:
Semi-structure data, query language, graphs, bisimulation, model-checking
Document Type:
Book book
Language:
English
Relation:
info:eu-repo/semantics/altIdentifier/isbn/3540209719; volume:2917; firstpage:1; lastpage:134; numberofpages:134; http://hdl.handle.net/11562/991907
DOI:
10.1007/b94902
Availability:
http://hdl.handle.net/11562/991907
https://doi.org/10.1007/b94902
Rights:
info:eu-repo/semantics/closedAccess
Accession Number:
edsbas.9EAB252A
Database:
BASE

Further information

The book deals with the problems of characterizing the semantics of and assuring efficient execution for database query languages, where the database contains semistructured and time-varying information. This area of technology is of much interest and significance for databases and knowledge bases; it also presents many challenging research problems deserving an in-depth investigation.