Model-Checking techniques for efficently querying semistructured temporal data

In many applications information about the history of data and their dynamic aspects are just as important as static information. During the last years the increasing amount of unstructured or semistructured information accessible through the Web has presented new challenges to academic and industrial research on database. We have previously presented a model based on labeled graphs for representing changes in and interaction with semistructured data. In this paper we apply model-checking algorithms in order to efficiently solve temporal queries over this model.