Model-Checking Based Data Retrieval

13 years 9 months ago
Model-Checking Based Data Retrieval
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. Keywords. Semistructured DBs, Temporal Logic, Model-Checking.
Agostino Dovier, Elisa Quintarelli
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where DBPL
Authors Agostino Dovier, Elisa Quintarelli
Comments (0)