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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.