4. Temporal Aspects of Semistructured Data

Abstract

In Chapter 3 we proposed a method based on model-checking techniques to efficiently solve (graphical) queries on semistructured data. However, it is known that model-checking has emerged in the past years as a promising and powerful approach to automatic verification of systems [27, 73, 28], and is especially used to verify temporal properties, which are usually expressed by means of temporal logics formulae, on reactive systems. Thus, as natural consequence of the temporal logic nature, in this chapter we want to adapt the technique introduced for accessing static information stored in graphical databases, to retrieve temporal aspects of semistructured data as well, such as, for example, the evolution of properties related to semistructured data.