Add to ORKGIn 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
This chapter describes a graph-based approach to represent information stored in a data warehouse, b...
International audienceThe RDF (W3C standard for metamodeling) language is the most frequently used t...
The majority of any temporal data model is claimed to be superset of the conventional relational dat...
The book deals with the problems of characterizing the semantics of and assuring efficient execution...
In this paper we develop a new method for solving queries on semistructured data. The main idea is t...
In this paper we develop a new method for solving queries on semistructured data. The main idea is t...
The large volume and nature of data available to the casual users and programs motivate the increasi...
In many applications information about the history of data and their dynamic aspects are just as i...
We sketch here the semistructured temporal data model GEM (Graphical sEmistructured teMporal), which...
We propose an idea of the use of temporal logic formula for the investigation of the World Wide Web(...
International audienceSemantic interoperability problems have found their solutions due to the use o...
The problem of temporal dataset evaluation consists in establishing to what extent a set of temporal...
In this paper we propose a graph-based generic model able to uniformly represent semistructured data...
International audienceTemporal query checking is an extension of temporal model checking where one a...
Despite the ubiquity of temporal data and considerable research on processing such data, database sy...
This chapter describes a graph-based approach to represent information stored in a data warehouse, b...
International audienceThe RDF (W3C standard for metamodeling) language is the most frequently used t...
The majority of any temporal data model is claimed to be superset of the conventional relational dat...
The book deals with the problems of characterizing the semantics of and assuring efficient execution...
In this paper we develop a new method for solving queries on semistructured data. The main idea is t...
In this paper we develop a new method for solving queries on semistructured data. The main idea is t...
The large volume and nature of data available to the casual users and programs motivate the increasi...
In many applications information about the history of data and their dynamic aspects are just as i...
We sketch here the semistructured temporal data model GEM (Graphical sEmistructured teMporal), which...
We propose an idea of the use of temporal logic formula for the investigation of the World Wide Web(...
International audienceSemantic interoperability problems have found their solutions due to the use o...
The problem of temporal dataset evaluation consists in establishing to what extent a set of temporal...
In this paper we propose a graph-based generic model able to uniformly represent semistructured data...
International audienceTemporal query checking is an extension of temporal model checking where one a...
Despite the ubiquity of temporal data and considerable research on processing such data, database sy...
This chapter describes a graph-based approach to represent information stored in a data warehouse, b...
International audienceThe RDF (W3C standard for metamodeling) language is the most frequently used t...
The majority of any temporal data model is claimed to be superset of the conventional relational dat...