In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification method for temporally changing spatial situations. This extends existing concepts for visual spatial query languages, which are only capable of querying static spatial situations. We outline a preliminary user interfa...

1 This work was supported in part by the NSF under grant IRI-93-18773. Abstract The work of Mannila et al. [4] of finding frequent episodes in sequences is extended to finding temporal logic patterns in temporal databases. It is argued that temporal logic provides an appropriate formalism for expressing temporal patterns defined over categorical data. It is also proposed to use Temporal Logic P...

Data stream management systems (DSMS) so far focus on event queries and hardly consider combined queries to both data from event streams and from a database. However, applications like emergency management require combined data stream and database queries. Further requirements are the simultaneous use of multiple timestamps after different time lines and semantics, expressive temporal relations...

We propose a temporal extension of Datalog which can be used to model and query temporal databases with relations based on multiple clocks. The extension, called Clocked Temporal Datalog, is based on a clocked temporal logic in which each predicate and hence each formula can be assigned a separate clock. A Clocked Temporal Datalog program consists of three parts: (1) a clock definition, (2) a c...

An expressively rich temporal reasoning system, called TRLi is presented in this paper. TRLi introduces and relates the concepts of temporal points, temporal instances and temporal intervals, and has deeply embedded in its semantics the notion of temporal uncertainty. TRLi is a temporal logic system with a syntax and proof procedure very similar to that of Prolog, and it can therefore be easily...

Traditional approaches to temporal databases are either not formal or deal only with static features, considering mainly a single state of the database. The temporal nature of data in temporal databases, however, is intrinsically dynamic, for it deals with the evolution of data. In this work, a temporal logic framework is proposed to simultaneously cope with both the static and the dynamic aspe...

We establish an exact correspondence between temporal logic and a subset of TSQL2, a consensus temporal extension of SQL-92. The translation from temporal logic to TSQLZ developed here enables a user to write high-level queries which can be evaluated against a spaceefficient representation of the database. The reverse translation, also provided, makes it possible to characterize the expressive ...

Handling time in geospatial information systems (GIS), the applicability of these valuable systems will increase, so, there hardly exist an application dealing with spatial information which can not be benefited from a temporal GIS. Despite many efforts undertaken since 1980, there is no generally accepted model which can satisfy all temporal GIS requirements. One of the most important problems...

Ontology-based data access (OBDA) generalizes query answering in relational databases. It allows to query a database by using the language of an ontology, abstracting from the actual relations of the database. For ontologies formulated in Description Logics of the DL-Lite family, OBDA can be realized by rewriting the query into a classical first-order query, e.g. an SQL query, by compiling the ...

Temporal document databases are interesting in a number of contexts, in general document databases as well as more specialized applications like temporal XML/Web warehouses. In order to efficiently manage temporal document versions, a temporal document database system should be employed. In this paper, we describe the V2 temporal document database system, which supports storage, retrieval, and ...