Temporal Deductive Databases

Abstract

We survey a number of approaches to the problem of nite representation of innnite temporal extensions. Two of them, Datalog 1S and Templog, are syntactical extensions of Datalog; the third is based on repetition and arithmetic constraints. We provide precise characterizations of the expressiveness and the computational complexity of these languages. We also… (More)

Topics

Cite this paper

@inproceedings{Baudinet1993TemporalDD, title={Temporal Deductive Databases}, author={Marianne Baudinet and Jan Chomicki and Pierre Wolper}, booktitle={Temporal Databases}, year={1993} }