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.

Model-Checking techniques for efficently querying semistructured temporal data

OLIBONI, Barbara;E. Quintarelli;
2002-01-01

Abstract

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.
2002
Model-Checking techniques, Semistructured data, Temporal data
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/20030
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact