Treffer: Model-Checking Based Data Retrieval
Title:
Model-Checking Based Data Retrieval
Authors:
Contributors:
A., Dovier, Quintarelli, Elisa
Publication Year:
2001
Collection:
RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano
Document Type:
Konferenz
conference object
Language:
English
Relation:
info:eu-repo/semantics/altIdentifier/wos/WOS:000181438100004; ispartofbook:8th International Workshop on Database Programming Languages; 8th Biennial Workshop on Data Bases and Programming Languages (DBPL'01); firstpage:62; lastpage:77; http://hdl.handle.net/11311/257384; http://www.springerlink.com/content/excqhuxf8wdwjgj6/
DOI:
10.1007/3-540-46093-4_4
Availability:
Accession Number:
edsbas.902FBBC
Database:
BASE
Weitere Informationen
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formula of the temporal logic CTL. In this way, the retrieval of data fulfilling a query is reduced to the problem of finding out the states of the model which satisfy the formula (the model-checking problem) that can be done in linear time.